SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 576–600 of 1596 papers

TitleStatusHype
Guiding Through Complexity: What Makes Good Supervision for Hard Reasoning Tasks?Code0
Library Learning Doesn't: The Curious Case of the Single-Use "Library"Code0
Can Stories Help LLMs Reason? Curating Information Space Through Narrative—0
Mixture of Parrots: Experts improve memorization more than reasoning—0
ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning—0
Scaling up Masked Diffusion Models on TextCode3
Unleashing Reasoning Capability of LLMs via Scalable Question Synthesis from ScratchCode2
From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems—0
MiLoRA: Efficient Mixture of Low-Rank Adaptation for Large Language Models Fine-tuning—0
Optimizing Chain-of-Thought Reasoning: Tackling Arranging Bottleneck via Plan Augmentation—0
Non-myopic Generation of Language Models for Reasoning and PlanningCode1
Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward PassesCode1
Forewarned is Forearmed: Leveraging LLMs for Data Synthesis through Failure-Inducing Exploration—0
Polyak's Heavy Ball Method Achieves Accelerated Local Rate of Convergence under Polyak-Lojasiewicz Inequality—0
JMMMU: A Japanese Massive Multi-discipline Multimodal Understanding Benchmark for Culture-aware Evaluation—0
PromptHive: Bringing Subject Matter Experts Back to the Forefront with Collaborative Prompt Engineering for Educational Content Creation—0
No more hard prompts: SoftSRV prompting for synthetic data generation—0
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN ProblemsCode4
Do Large Language Models Truly Grasp Mathematics? An Empirical Exploration From Cognitive Psychology—0
On Designing Effective RL Reward at Training Time for LLM Reasoning—0
Step Guided Reasoning: Improving Mathematical Reasoning using Guidance Generation and Step Reasoning—0
Bridging the Training-Inference Gap in LLMs by Leveraging Self-Generated Tokens—0
LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting Problems—0
SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented GenerationCode0
A Comparative Study on Reasoning Patterns of OpenAI's o1 ModelCode2
Show:102550
← PrevPage 24 of 64Next →

No leaderboard results yet.