SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 551–600 of 1596 papers

TitleStatusHype
Building Math Agents with Multi-Turn Iterative Preference Learning—0
A Bayesian model for recognizing handwritten mathematical expressions—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
Introduction to Coresets: Accurate Coresets—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
Investigating Large Language Models in Diagnosing Students' Cognitive Skills in Math Problem-solving—0
Enabling Massive Deep Neural Networks with the GraphBLAS—0
Empowering Bengali Education with AI: Solving Bengali Math Word Problems through Transformer Models—0
Empirical entropy, minimax regret and minimax risk—0
Emergent inabilities? Inverse scaling over the course of pretraining—0
Branch-Train-MiX: Mixing Expert LLMs into a Mixture-of-Experts LLM—0
An upper bound of the mutation probability in the genetic algorithm for general 0-1 knapsack problem—0
Embracing AI in Education: Understanding the Surge in Large Language Model Use by Secondary Students—0
Embedding Self-Correction as an Inherent Ability in Large Language Models for Enhanced Mathematical Reasoning—0
Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics—0
Embedded Phase Shifting: Robust Phase Shifting With Embedded Signals—0
A novel variational model for image registration using Gaussian curvature—0
1bit-Merging: Dynamic Quantized Merging for Large Language Models—0
Efficient Tool Use with Chain-of-Abstraction Reasoning—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
Fewer is More: Boosting LLM Reasoning with Reinforced Context Pruning—0
Agent-RLVR: Training Software Engineering Agents via Guidance and Environment Rewards—0
Intriguing Properties of Large Language and Vision Models—0
Introducing the Mathematics Meme Repository—0
Investigating Math Word Problems using Pretrained Multilingual Language Models—0
Kappa Learning: A New Method for Measuring Similarity Between Educational Items Using Performance Data—0
Effects of context, complexity, and clustering on evaluation for math formula retrieval—0
Interactive Sketchpad: A Multimodal Tutoring System for Collaborative, Visual Problem-Solving—0
BOLT: Bootstrap Long Chain-of-Thought in Language Models without Distillation—0
An Optimal Likelihood Free Method for Biological Model Selection—0
Interleaved Reasoning for Large Language Models via Reinforcement Learning—0
EasyMath: A 0-shot Math Benchmark for SLMs—0
Show:102550
← PrevPage 12 of 32Next →

No leaderboard results yet.