SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1201–1250 of 1596 papers

TitleStatusHype
Pathogen Infection Recovery Probability (PIRP) Versus Proinflammatory Anti-Pathogen Species (PIAPS) Levels: Modelling and Therapeutic Strategies—0
PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical Linguistics—0
Why are NLP Models Fumbling at Elementary Math? A Survey of Automatic Word Problem Solvers—0
Pensez: Less Data, Better Reasoning -- Rethinking French LLM—0
Perceptual Decoupling for Scalable Multi-modal Reasoning via Reward-Optimized Captioning—0
Performance Analysis and Improvement of Parallel Differential Evolution—0
Performance Comparison of Large Language Models on Advanced Calculus Problems—0
Performance Evaluation and Optimization of Math-Similarity Search—0
Performance, Opaqueness, Consequences, and Assumptions: Simple questions for responsible planning of machine learning solutions—0
Permutation Complexity Bound on Out-Sample Error—0
Permuted and Unlinked Monotone Regression in R^d: an approach based on mixture modeling and optimal transport—0
Personality-aware Student Simulation for Conversational Intelligent Tutoring Systems—0
PersonaMath: Enhancing Math Reasoning through Persona-Driven Data Augmentation—0
Pheromone-based Learning of Optimal Reasoning Paths—0
Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone—0
Phi-4-Mini-Reasoning: Exploring the Limits of Small Reasoning Language Models in Math—0
Phi-4-reasoning Technical Report—0
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries—0
Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problems—0
PixelWorld: Towards Perceiving Everything as Pixels—0
構建一個中文國小數學文字問題語料庫(Building a Corpus for Developing the Chinese Elementary School Math Word Problem Solver)[In Chinese]—0
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models—0
Understanding the Logical Capabilities of Large Language Models via Out-of-Context Representation Learning—0
An upper bound of the mutation probability in the genetic algorithm for general 0-1 knapsack problem—0
PMSS: Pretrained Matrices Skeleton Selection for LLM Fine-tuning—0
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 25 of 32Next →

No leaderboard results yet.