SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1176–1200 of 1596 papers

TitleStatusHype
On the Empirical Complexity of Reasoning and Planning in LLMs—0
On the existence of minimizers in shallow residual ReLU neural network optimization landscapes—0
On the Inductive Bias of Stacking Towards Improving Reasoning—0
On the quasi-sure superhedging duality with frictions—0
OntoMath^PRO 2.0 Ontology: Updates of the Formal Model—0
OpenAI-o1 AB Testing: Does the o1 model really do good reasoning in math problem solving?—0
Unbiased Math Word Problems Benchmark for Mitigating Solving Bias—0
A Practice of Post-Training on Llama-3 70B with Optimal Selection of Additional Language Mixture Ratio—0
Approximation properties of Residual Neural Networks for Kolmogorov PDEs—0
Optimal AdaBoost Converges—0
Optimal classification in sparse Gaussian graphic model—0
Optimizing Chain-of-Thought Reasoning: Tackling Arranging Bottleneck via Plan Augmentation—0
Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning—0
Orca-Math: Unlocking the potential of SLMs in Grade School Math—0
OTC: Optimal Tool Calls via Reinforcement Learning—0
Outcome-based Reinforcement Learning to Predict the Future—0
Overcoming Vocabulary Mismatch: Vocabulary-agnostic Teacher Guided Language Modeling—0
Oxford Handbook on AI Ethics Book Chapter on Race and Gender—0
P3: A Policy-Driven, Pace-Adaptive, and Diversity-Promoted Framework for data pruning in LLM Training—0
Uncertainty-Based Joint Training For Semi-Supervised Math Word Problem—0
Approximating Sparse PCA from Incomplete Data—0
A Perspective on Large Language Models, Intelligent Machines, and Knowledge Acquisition—0
PARAMANU-AYN: Pretrain from scratch or Continual Pretraining of LLMs for Legal Domain Adaptation?—0
PARAMANU-GANITA: Language Model with Mathematical Capabilities—0
Parameterized Approximation for Robust Clustering in Discrete Geometric Spaces—0
Show:102550
← PrevPage 48 of 64Next →

No leaderboard results yet.