SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1226–1250 of 1596 papers

TitleStatusHype
Polyak's Heavy Ball Method Achieves Accelerated Local Rate of Convergence under Polyak-Lojasiewicz Inequality—0
Prediction with Expert Advice: a PDE Perspective—0
A novel variational model for image registration using Gaussian curvature—0
Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMs—0
Understanding the Progression of Educational Topics via Semantic Matching—0
Prismatic Synthesis: Gradient-based Data Diversification Boosts Generalization in LLM Reasoning—0
Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers—0
ProblemSolver at SemEval-2019 Task 10: Sequence-to-Sequence Learning and Expression Trees—0
A note on the option price and 'Mass at zero in the uncorrelated SABR model and implied volatility asymptotics'—0
An Optimal Transport approach to arbitrage correction: Application to volatility Stress-Tests—0
An Optimal Likelihood Free Method for Biological Model Selection—0
A Nonlocal Graph-PDE and Higher-Order Geometric Integration for Image Labeling—0
Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment—0
Prompt Baking—0
PromptRobust: Towards Evaluating the Robustness of Large Language Models on Adversarial Prompts—0
Understand, Solve and Translate: Bridging the Multilingual Mathematical Reasoning Gap—0
PromptHive: Bringing Subject Matter Experts Back to the Forefront with Collaborative Prompt Engineering for Educational Content Creation—0
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad—0
PRSA: Prompt Stealing Attacks against Real-World Prompt Services—0
Putting the Value Back in RL: Better Test-Time Scaling by Unifying LLM Reasoners With Verifiers—0
Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning—0
QPO: Query-dependent Prompt Optimization via Multi-Loop Offline Reinforcement Learning—0
Quantitative Methods for Optimizing Patient Outcomes in Liver Transplantation—0
An Improved Coarse-to-Fine Method for Solving Generation Tasks—0
Quantization Meets Reasoning: Exploring LLM Low-Bit Quantization Degradation for Mathematical Reasoning—0
Show:102550
← PrevPage 50 of 64Next →

No leaderboard results yet.