SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1001–1050 of 1596 papers

TitleStatusHype
Quantization Meets Reasoning: Exploring LLM Low-Bit Quantization Degradation for Mathematical Reasoning—0
Query Auto Completion for Math Formula Search—0
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation—0
Unearthing Gems from Stones: Policy Optimization with Negative Sample Augmentation for LLM Reasoning—0
Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement—0
A Neural Network Implementation for Free Energy Principle—0
An Efficient Merge Search Matheuristic for Maximising the Net Present Value of Project Schedules—0
Why Vision Language Models Struggle with Visual Arithmetic? Towards Enhanced Chart and Geometry Understanding—0
RBench-V: A Primary Assessment for Visual Reasoning Models with Multi-modal Outputs—0
ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning—0
Odd period cycles and ergodic properties in price dynamics for an exchange economy—0
ReasonFlux-PRM: Trajectory-Aware PRMs for Long Chain-of-Thought Reasoning in LLMs—0
Reasoning about Quantities in Natural Language—0
Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment—0
Reasoning Like Program Executors—0
Reasoning Like Program Executors—0
Reasoning Models Know When They're Right: Probing Hidden States for Self-Verification—0
Unit Dependency Graph and its Application to Arithmetic Word Problem Solving—0
Reasoning Paths Optimization: Learning to Reason and Explore From Diverse Paths—0
Anchored Diffusion Language Model—0
An Augmented Benchmark Dataset for Geometric Question Answering through Dual Parallel Text Encoding—0
Reasoning with Large Language Models, a Survey—0
Reasoning with Latent Thoughts: On the Power of Looped Transformers—0
RSRM: Reinforcement Symbolic Regression Machine—0
AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling—0
Analyzing Non-Textual Content Elements to Detect Academic Plagiarism—0
Rectified Sparse Attention—0
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models—0
Recursive Introspection: Teaching Language Model Agents How to Self-Improve—0
REDS: Resource-Efficient Deep Subnetworks for Dynamic Resource Constraints—0
RedStar: Does Scaling Long-CoT Data Unlock Better Slow-Reasoning Systems?—0
RedStone: Curating General, Code, Math, and QA Data for Large Language Models—0
Reflect, Retry, Reward: Self-Improving LLMs via Reinforcement Learning—0
Analytic solution of the SEIR epidemic model via asymptotic approximant—0
Analysis of the Reasoning with Redundant Information Provided Ability of Large Language Models—0
Unleashing the Reasoning Potential of Pre-trained LLMs by Critique Fine-Tuning on One Problem—0
Reinforced optimal control—0
Reinforce LLM Reasoning through Multi-Agent Reflection—0
Reinforcement Learning Tutor Better Supported Lower Performers in a Math Task—0
A multi-core periphery perspective: Ranking via relative centrality—0
Reinforcing the Diffusion Chain of Lateral Thought with Diffusion Language Models—0
Reliable and Efficient Evaluation of Adversarial Robustness for Deep Hashing-Based Retrieval—0
ReMI: A Dataset for Reasoning with Multiple Images—0
WordSup: Exploiting Word Annotations for Character based Text Detection—0
Resprompt: Residual Connection Prompting Advances Multi-Step Reasoning in Large Language Models—0
Rethink Delay Doppler Channels and Time-Frequency Coding—0
Rethinking Mixture-of-Agents: Is Mixing Different Large Language Models Beneficial?—0
Rethinking the Generation of High-Quality CoT Data from the Perspective of LLM-Adaptive Question Difficulty Grading—0
Accurate closed-form solution of the SIR epidemic model—0
ReTool: Reinforcement Learning for Strategic Tool Use in LLMs—0
Show:102550
← PrevPage 21 of 32Next →

No leaderboard results yet.