Reasoning

FtG-CoT at SemEval-2024 Task 9: Solving Sentence Puzzles Using Fine-Tuned Language Models and Zero-Shot CoT Prompting SemEval 2024 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 FZI-WIM at SemEval-2024 Task 2: Self-Consistent CoT for Complex NLI in Biomedical Domain SemEval 2024 GAMA: A Large Audio-Language Model with Advanced Audio Understanding and Complex Reasoning Abilities EMNLP 2024 GameTraversalBenchmark: Evaluating Planning Abilities Of Large Language Models Through Traversing 2D Game Maps NeurIPS 2024 GeminiPro at SemEval-2024 Task 9: BrainTeaser on Gemini SemEval 2024 Generalized Planning for the Abstraction and Reasoning Corpus AAAI 2024 Generating Chain-of-Thoughts with a Pairwise-Comparison Approach to Searching for the Most Promising Intermediate Thought ICML 2024 Generating Media Background Checks for Automated Source Critical Reasoning EMNLP 2024 GeoReasoner: Geo-localization with Reasoning in Street Views using a Large Vision-Language Model ICML 2024 Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NeurIPS 2024 GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinements ICML 2024 GProofT: A Multi-dimension Multi-round Fact Checking Framework Based on Claim Fact Extraction EMNLP 2024 Graph Chain-of-Thought: Augmenting Large Language Models by Reasoning on Graphs ACL 2024 Graph-enhanced Large Language Models in Asynchronous Plan Reasoning ICML 2024 Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets AISTATS 2024 GraphReason: Enhancing Reasoning Capabilities of Large Language Models through A Graph-Based Verification Approach ACL 2024 Grokking of Implicit Reasoning in Transformers: A Mechanistic Journey to the Edge of Generalization NeurIPS 2024 Grounding Partially-Defined Events in Multimodal Data EMNLP 2024 GTBench: Uncovering the Strategic Reasoning Capabilities of LLMs via Game-Theoretic Evaluations NeurIPS 2024 HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation NeurIPS 2024 Harnessing Toulmin’s theory for zero-shot argument explication ACL 2024 HGOT: Hierarchical Graph of Thoughts for Retrieval-Augmented In-Context Learning in Factuality Evaluation NAACL 2024 Hierarchical Deconstruction of LLM Reasoning: A Graph-Based Framework for Analyzing Knowledge Utilization EMNLP 2024 HOLMES: Hyper-Relational Knowledge Graphs for Multi-hop Question Answering using LLMs ACL 2024