SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1051–1100 of 1596 papers

TitleStatusHype
Unraveling Arithmetic in Large Language Models: The Role of Algebraic Structures—0
Retro-Search: Exploring Untaken Paths for Deeper and Efficient Reasoning—0
Reverse Thinking Makes LLMs Stronger Reasoners—0
Revisiting Priority k-Center: Fairness and Outliers—0
Revisiting the Superficial Alignment Hypothesis—0
RevOrder: A Novel Method for Enhanced Arithmetic in Language Models—0
A Method to Support Difficult Re-finding Tasks—0
Rip van Winkle's Razor: A Simple Estimate of Overfit to Test Data—0
RL of Thoughts: Navigating LLM Reasoning with Inference-time Reinforcement Learning—0
Accurate and Diverse LLM Mathematical Reasoning via Automated PRM-Guided GFlowNets—0
A Meaning-based English Math Word Problem Solver with Understanding, Reasoning and Explanation—0
Robot Kinematics: Motion, Kinematics and Dynamics—0
A matrix math facility for Power ISA(TM) processors—0
AltCanvas: A Tile-Based Image Editor with Generative AI for Blind or Visually Impaired People—0
A LLM Benchmark based on the Minecraft Builder Dialog Agent Task—0
Rule-based Data Selection for Large Language Models—0
Alignment with Preference Optimization Is All You Need for LLM Safety—0
Aligning Tutor Discourse Supporting Rigorous Thinking with Tutee Content Mastery for Predicting Math Achievement—0
S^3c-Math: Spontaneous Step-level Self-correction Makes Large Language Models Better Mathematical Reasoners—0
Sabiá-2: A New Generation of Portuguese Large Language Models—0
SAIE Framework: Support Alone Isn't Enough -- Advancing LLM Training with Adversarial Remarks—0
Salsa Fresca: Angular Embeddings and Pre-Training for ML Attacks on Learning With Errors—0
SBSC: Step-By-Step Coding for Improving Mathematical Olympiad Performance—0
Scalable LLM Math Reasoning Acceleration with Low-rank Distillation—0
ScaleBiO: Scalable Bilevel Optimization for LLM Data Reweighting—0
Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators—0
Scaling Test-Time Compute Without Verification or RL is Suboptimal—0
Scaling Up RL: Unlocking Diverse Reasoning in LLMs via Prolonged Training—0
Accelerating Neural Network Optimization Through an Automated Control Theory Lens—0
Is GPT-3 Text Indistinguishable from Human Text? Scarecrow: A Framework for Scrutinizing Machine Text—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—0
SEED-GRPO: Semantic Entropy Enhanced GRPO for Uncertainty-Aware Policy Optimization—0
Using Intermediate Representations to Solve Math Word Problems—0
A Large Scale Quantitative Exploration of Modeling Strategies for Content Scoring—0
Using Java Geometry Expert as Guide in the Preparations for Math Contests—0
Self-Competitive Learning for Solving Math Word Problem—0
Self-Consistency Boosts Calibration for Math Reasoning—0
Using Large Language Models to Assess Tutors' Performance in Reacting to Students Making Math Errors—0
Self-Consistency Preference Optimization—0
Self-consistent Reasoning For Solving Math Word Problems—0
Self-Evolved Preference Optimization for Enhancing Mathematical Reasoning in Small Language Models—0
A Knowledge-Aware Sequence-to-Tree Network for Math Word Problem Solving—0
Self-Imagine: Effective Unimodal Reasoning with Multimodal Models using Self-Imagination—0
Self-MoE: Towards Compositional Large Language Models with Self-Specialized Experts—0
Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models—0
Self-reinforced polynomial approximation methods for concentrated probability densities—0
Self-Supervised Pretraining of Graph Neural Network for the Retrieval of Related Mathematical Expressions in Scientific Articles—0
Using Large Language Model to Solve and Explain Physics Word Problems Approaching Human Level—0
Hint of Thought prompting: an explainable and zero-shot approach to reasoning tasks with LLMs—0
Utility-Driven Speculative Decoding for Mixture-of-Experts—0
Show:102550
← PrevPage 22 of 32Next →

No leaderboard results yet.