SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 551–575 of 1596 papers

TitleStatusHype
Entropic Distribution Matching in Supervised Fine-tuning of LLMs: Less Overfitting and Better Diversity—0
Building Math Agents with Multi-Turn Iterative Preference Learning—0
A Bayesian model for recognizing handwritten mathematical expressions—0
InfiFusion: A Unified Framework for Enhanced Cross-Model Reasoning via LLM Fusion—0
Integer Networks for Data Compression with Latent-Variable Models—0
Ensembling Large Language Models with Process Reward-Guided Tree Search for Better Complex Reasoning—0
Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles—0
A Perspective on Large Language Models, Intelligent Machines, and Knowledge Acquisition—0
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries—0
AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling—0
Enhancing Reasoning Capabilities of Small Language Models with Blueprints and Prompt Template Search—0
GraphReason: Enhancing Reasoning Capabilities of Large Language Models through A Graph-Based Verification Approach—0
BRiTE: Bootstrapping Reinforced Thinking Process to Enhance Language Model Reasoning—0
Enhancing Math Learning in an LMS Using AI-Driven Question Recommendations—0
Enhancing Mathematical Reasoning in LLMs with Background Operators—0
Bridging the Training-Inference Gap in LLMs by Leveraging Self-Generated Tokens—0
Enhancing LLM Intelligence with ARM-RAG: Auxiliary Rationale Memory for Retrieval Augmented Generation—0
Bridging Offline and Online Reinforcement Learning for LLMs—0
Energy-Conscious LLM Decoding: Impact of Text Generation Strategies on GPU Energy Consumption—0
End-to-End Evaluation of a Spoken Dialogue System for Learning Basic Mathematics—0
End-to-End Bangla AI for Solving Math Olympiad Problem Benchmark: Leveraging Large Language Model Using Integrated Approach—0
Breaking Ties: Regression Discontinuity Design Meets Market Design—0
構建一個中文國小數學文字問題語料庫(Building a Corpus for Developing the Chinese Elementary School Math Word Problem Solver)[In Chinese]—0
AceReason-Nemotron 1.1: Advancing Math and Code Reasoning through SFT and RL Synergy—0
In between myth and reality: AI for math -- a case study in category theory—0
Show:102550
← PrevPage 23 of 64Next →

No leaderboard results yet.