SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 601–650 of 1596 papers

TitleStatusHype
Not All Votes Count! Programs as Verifiers Improve Self-Consistency of Language Models for Math ReasoningCode0
LoRA Soups: Merging LoRAs for Practical Skill Composition TasksCode1
When Not to Answer: Evaluating Prompts on GPT Models for Effective Abstention in Unanswerable Math Word Problems—0
JudgeBench: A Benchmark for Evaluating LLM-based JudgesCode2
MIND: Math Informed syNthetic Dialogues for Pretraining LLMs—0
Speculative Knowledge Distillation: Bridging the Teacher-Student Gap Through Interleaved Sampling—0
One Language, Many Gaps: Evaluating Dialect Fairness and Robustness of Large Language Models in Reasoning TasksCode0
Embedding Self-Correction as an Inherent Ability in Large Language Models for Enhanced Mathematical Reasoning—0
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningCode1
Innovative Thinking, Infinite Humor: Humor Research of Large Language Models through Structured Thought Leaps—0
Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces—0
HARDMath: A Benchmark Dataset for Challenging Problems in Applied MathematicsCode1
Expanding Search Space with Diverse Prompting Agents: An Efficient Sampling Approach for LLM Mathematical Reasoning—0
OpenR: An Open Source Framework for Advanced Reasoning with Large Language ModelsCode5
Testing GPT-4-o1-preview on math and science problems: A follow-up study—0
Enhancing Multi-Step Reasoning Abilities of Language Models through Direct Q-Function OptimizationCode2
SuperCorrect: Supervising and Correcting Language Models with Error-Driven InsightsCode4
The Geometry of Concepts: Sparse Autoencoder Feature StructureCode1
VibeCheck: Discover and Quantify Qualitative Differences in Large Language ModelsCode2
Cognitive Noise and Altruistic Preferences—0
Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language ModelsCode2
MathCoder2: Better Math Reasoning from Continued Pretraining on Model-translated Mathematical CodeCode2
Teaching-Inspired Integrated Prompting Framework: A Novel Approach for Enhancing Reasoning in Large Language ModelsCode0
Herald: A Natural Language Annotated Lean 4 Dataset—0
Hallucinating AI Hijacking Attack: Large Language Models and Malicious Code Recommenders—0
Subtle Errors Matter: Preference Learning via Error-injected Self-editing—0
O1 Replication Journey: A Strategic Progress Report -- Part 1Code7
Beyond Captioning: Task-Specific Prompting for Improved VLM Performance in Mathematical Reasoning—0
Solving Functional Optimization with Deep Networks and Variational Principles—0
DataEnvGym: Data Generation Agents in Teacher Environments with Student FeedbackCode1
Give me a hint: Can LLMs take a hint to solve math problems?Code0
FG-PRM: Fine-grained Hallucination Detection and Mitigation in Language Model Mathematical Reasoning—0
Reasoning Paths Optimization: Learning to Reason and Explore From Diverse Paths—0
fPLSA: Learning Semantic Structures in Document Collections Using Foundation Models—0
Rule-based Data Selection for Large Language Models—0
Intriguing Properties of Large Language and Vision Models—0
Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification—0
BloomWise: Enhancing Problem-Solving capabilities of Large Language Models using Bloom's-Taxonomy-Inspired Prompts—0
Steering Large Language Models between Code Execution and Textual ReasoningCode2
Deliberate Reasoning for LLMs as Structure-aware Planning with Accurate World Model—0
Towards the Pedagogical Steering of Large Language Models for Tutoring: A Case Study with Modeling Productive FailureCode0
Geometry is All You Need: A Unified Taxonomy of Matrix and Tensor Factorization for Compression of Generative Language Models—0
CodePMP: Scalable Preference Model Pretraining for Large Language Model Reasoning—0
Llama SLayer 8B: Shallow Layers Hold the Key to Knowledge InjectionCode0
Adaptive Inference-Time Compute: LLMs Can Predict if They Can Do Better, Even Mid-Generation—0
Deep Knowledge Tracing for Personalized Adaptive Learning at Historically Black Colleges and Universities—0
Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlo—0
PersonaMath: Enhancing Math Reasoning through Persona-Driven Data Augmentation—0
An Exploration of Self-Supervised Mutual Information Alignment for Multi-Task SettingsCode0
Can We Further Elicit Reasoning in LLMs? Critic-Guided Planning with Retrieval-Augmentation for Solving Challenging Tasks—0
Show:102550
← PrevPage 13 of 32Next →

No leaderboard results yet.