SOTAVerified

Logical Reasoning

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 451–500 of 747 papers

TitleStatusHype
On the Potential of CLIP for Compositional Logical Reasoning—0
OpenAI-o1 AB Testing: Does the o1 model really do good reasoning in math problem solving?—0
Order Doesn't Matter, But Reasoning Does: Training LLMs with Order-Centric Augmentation—0
P3: A Policy-Driven, Pace-Adaptive, and Diversity-Promoted Framework for data pruning in LLM Training—0
Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering—0
PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering—0
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains—0
Physics of Language Models: Part 3.2, Knowledge Manipulation—0
PIVOT: Iterative Visual Prompting Elicits Actionable Knowledge for VLMs—0
POLYRAG: Integrating Polyviews into Retrieval-Augmented Generation for Medical Applications—0
Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment—0
ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering—0
Provable Failure of Language Models in Learning Majority Boolean Logic via Gradient Descent—0
Psy-Insight: Explainable Multi-turn Bilingual Dataset for Mental Health Counseling—0
PuzzleBench: A Fully Dynamic Evaluation Framework for Large Multimodal Models on Puzzle Solving—0
Puzzle Solving using Reasoning of Large Language Models: A Survey—0
Quantifying Adaptability in Pre-trained Language Models with 500 Tasks—0
Quantifying Logical Consistency in Transformers via Query-Key Alignment—0
Teaching Pretrained Models with Commonsense Reasoning: A Preliminary KB-Based Approach—0
Quantum Structure in Cognition and the Foundations of Human Reasoning—0
Quantum Structure of Negation and Conjunction in Human Thought—0
Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding—0
Reasoning Algorithmically in Graph Neural Networks—0
Reasoning-Aware Query-Focused Summarization over Multi-Table Data—0
Reasoning in Neurosymbolic AI—0
Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts—0
Reasoning in Vector Space: An Exploratory Study of Question Answering—0
Reasoning is All You Need for Video Generalization: A Counterfactual Benchmark with Sub-question Evaluation—0
Reasoning Like Program Executors—0
Reasoning Models Know When They're Right: Probing Hidden States for Self-Verification—0
Reasoning or a Semblance of it? A Diagnostic Study of Transitive Reasoning in LLMs—0
Reasoning over Logically Interacted Conditions for Question Answering—0
Reasoning with Graphs: Structuring Implicit Knowledge to Enhance LLMs Reasoning—0
Reasoning with Multi-Structure Commonsense Knowledge in Visual Dialog—0
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning—0
Retrieval-Augmented Neural Response Generation Using Logical Reasoning and Relevance Scoring—0
Reversal Blessing: Thinking Backward May Outpace Thinking Forward in Multi-choice Questions—0
Reverse Thinking Makes LLMs Stronger Reasoners—0
RLSF: Reinforcement Learning via Symbolic Feedback—0
Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning—0
S^2-MAD: Breaking the Token Barrier to Enhance Multi-Agent Debate Efficiency—0
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas—0
Scales and Hedges in a Logic with Analogous Semantics—0
Scallop: A Language for Neurosymbolic Programming—0
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning—0
SecBench: A Comprehensive Multi-Dimensional Benchmarking Dataset for LLMs in Cybersecurity—0
Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning—0
Hint of Thought prompting: an explainable and zero-shot approach to reasoning tasks with LLMs—0
SentiXRL: An advanced large language Model Framework for Multilingual Fine-Grained Emotion Classification in Complex Text Environment—0
ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning—0
Show:102550
← PrevPage 10 of 15Next →
All datasetsLingOlyBIG-bench (Formal Fallacies Syllogisms Negation)BIG-bench (Penguins In A Table)BIG-bench (Reasoning About Colored Objects)BIG-bench (Temporal Sequences)BIG-bench (Logic Grid Puzzle)BIG-bench (StrategyQA)RuWorldTreeWinograd AutomaticBIG-bench (Logical Fallacy Detection)

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1Claude OpusDelta_NoContext28.8—Unverified
2GPT-4oDelta_NoContext25.1—Unverified
3Gemini 1.5 ProDelta_NoContext23.4—Unverified
4GPT-4Delta_NoContext21.5—Unverified
5Command R+Delta_NoContext11.6—Unverified
6GPT-3.5Delta_NoContext11.2—Unverified
7Mixtral 8x7BDelta_NoContext6.4—Unverified
8Llama 3 8BDelta_NoContext4.9—Unverified
9Llama 3 70BDelta_NoContext2.9—Unverified
10Gemma 7BDelta_NoContext2.2—Unverified
#ModelMetricClaimedVerifiedStatus
1PaLM 2 (few-shot, k=3, Direct)Accuracy64.8—Unverified
2PaLM 2 (few-shot, k=3, CoT)Accuracy57.2—Unverified
3OPT 66B (few-shot, k=3)Accuracy54—Unverified
4PaLM 540B (few-shot, k=3)Accuracy53.6—Unverified
5GPT-NeoX 20B (few-shot, k=3)Accuracy52.8—Unverified
6BLOOM 176B (few-shot, k=3)Accuracy52.8—Unverified
7Chinchilla-70B (few-shot, k=5)Accuracy52.1—Unverified
8Bloomberg GPT 50B (few-shot, k=3)Accuracy50.8—Unverified
9Gopher-280B (few-shot, k=5)Accuracy50.7—Unverified
#ModelMetricClaimedVerifiedStatus
1PaLM 2 (few-shot, k=3, CoT)Accuracy84.9—Unverified
2PaLM 2 (few-shot, k=3, Direct)Accuracy65.8—Unverified
3Chinchilla-70B (few-shot, k=5)Accuracy48.7—Unverified
4PaLM 540B (few-shot, k=3)Accuracy44.5—Unverified
5Gopher-280B (few-shot, k=5)Accuracy40.6—Unverified
6BLOOM 176B (few-shot, k=3)Accuracy40.41—Unverified
7Bloomberg GPT (few-shot, k=3)Accuracy37.67—Unverified
8GPT-NeoX (few-shot, k=3)Accuracy33.56—Unverified
9OPT 66B (few-shot, k=3)Accuracy28.08—Unverified
#ModelMetricClaimedVerifiedStatus
1PaLM 2 (few-shot, k=3, CoT)Accuracy91.2—Unverified
2PaLM 2 (few-shot, k=3, Direct)Accuracy61.2—Unverified
3Chinchilla-70B (few-shot, k=5)Accuracy59.7—Unverified
4Gopher-280B (few-shot, k=5)Accuracy49.2—Unverified
5PaLM 540B (few-shot, k=3)Accuracy38—Unverified
6BLOOM 176B (few-shot, k=3)Accuracy36.8—Unverified
7Bloomberg GPT (few-shot, k=3)Accuracy34.8—Unverified
8OPT 66B (few-shot, k=3)Accuracy31.2—Unverified
9GPT-NeoX (few-shot, k=3)Accuracy26—Unverified
#ModelMetricClaimedVerifiedStatus
1PaLM 2 (few-shot, k=3, CoT)Accuracy100—Unverified
2PaLM 2 (few-shot, k=3, Direct)Accuracy96.4—Unverified
3PaLM 540B (few-shot, k=3)Accuracy39.6—Unverified
4BLOOM 176B (few-shot, k=3)Accuracy36.8—Unverified
5Chinchilla-70B (few-shot, k=5)Accuracy32—Unverified
6Bloomberg GPT (few-shot, k=3)Accuracy29.2—Unverified
7OPT 66B (few-shot, k=3)Accuracy23.6—Unverified
8GPT-NeoX (few-shot, k=3)Accuracy21.2—Unverified
9Gopher-280B (few-shot, k=5)Accuracy19—Unverified
#ModelMetricClaimedVerifiedStatus
1Chinchilla-70B (few-shot, k=5)Accuracy44—Unverified
2PaLM-540B (few-shot, k=5)Accuracy42.4—Unverified
3PaLM-62B (few-shot, k=5)Accuracy36.5—Unverified
4Gopher-280B (few-shot, k=5)Accuracy35.1—Unverified
#ModelMetricClaimedVerifiedStatus
1PaLM-540B (few-shot, k=5)Accuracy73.9—Unverified
2Chinchilla-70B (few-shot, k=5)Accuracy68.3—Unverified
3PaLM-62B (few-shot, k=5)Accuracy65.4—Unverified
4Gopher-280B (few-shot, k=5)Accuracy61—Unverified
#ModelMetricClaimedVerifiedStatus
1Human benchmarkAccuracy 83.7—Unverified
2RuGPT-3 LargeAccuracy 40.7—Unverified
3RuGPT-3 MediumAccuracy 38—Unverified
4RuGPT-3 SmallAccuracy 34—Unverified
#ModelMetricClaimedVerifiedStatus
1Human benchmarkAccuracy87—Unverified
2RuGPT-3 SmallAccuracy57.9—Unverified
3RuGPT-3 MediumAccuracy57.2—Unverified
4RuGPT-3 LargeAccuracy55.5—Unverified
#ModelMetricClaimedVerifiedStatus
1Chinchilla-70B (few-shot, k=5)Accuracy72.1—Unverified
2Gopher-280B (few-shot, k=5)Accuracy58.9—Unverified