SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 501–525 of 1596 papers

TitleStatusHype
Template-Driven LLM-Paraphrased Framework for Tabular Math Word Problem GenerationCode0
Offline Reinforcement Learning for LLM Multi-Step ReasoningCode2
Formal Mathematical Reasoning: A New Frontier in AI—0
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning—0
Qwen2.5 Technical ReportCode13
Conceptual In-Context Learning and Chain of Concepts: Solving Complex Conceptual Problems Using Large Language Models—0
AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling—0
Critical-Questions-of-Thought: Steering LLM reasoning with Argumentative QueryingCode0
Inference-Aware Fine-Tuning for Best-of-N Sampling in Large Language Models—0
Strictly monotone mean-variance preferences with applications to portfolio selection—0
LinguaLIFT: An Effective Two-stage Instruction Tuning Framework for Low-Resource Language Tasks—0
CoinMath: Harnessing the Power of Coding Instruction for Math LLMsCode0
A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges—0
Combining Large Language Models with Tutoring System Intelligence: A Case Study in Caregiver Homework SupportCode0
Entropy-Regularized Process Reward ModelCode1
Dipper: Diversity in Prompts for Producing Large Language Model Ensembles in Reasoning tasks—0
Geo-LLaVA: A Large Multi-Modal Model for Solving Geometry Math Problems with Meta In-Context Learning—0
A Graph-Based Synthetic Data Pipeline for Scaling High-Quality Reasoning Instructions—0
Learning to Solve Domain-Specific Calculation Problems with Knowledge-Intensive Programs Generator—0
A Context-Enhanced Framework for Sequential Graph ReasoningCode0
Greek2MathTex: A Greek Speech-to-Text Framework for LaTeX Equations GenerationCode0
HARP: A challenging human-annotated math reasoning benchmarkCode1
MNIST-Fraction: Enhancing Math Education with AI-Driven Fraction Detection and Analysis—0
LLM-as-an-Interviewer: Beyond Static Testing Through Dynamic LLM EvaluationCode0
Mining Math Conjectures from LLMs: A Pruning Approach—0
Show:102550
← PrevPage 21 of 64Next →

No leaderboard results yet.