SOTAVerified

Math

Papers

Showing 13011350 of 1596 papers

TitleStatusHype
Retro-Search: Exploring Untaken Paths for Deeper and Efficient Reasoning0
Reverse Thinking Makes LLMs Stronger Reasoners0
Revisiting Priority k-Center: Fairness and Outliers0
Revisiting the Superficial Alignment Hypothesis0
RevOrder: A Novel Method for Enhanced Arithmetic in Language Models0
A Method to Support Difficult Re-finding Tasks0
Rip van Winkle's Razor: A Simple Estimate of Overfit to Test Data0
RL of Thoughts: Navigating LLM Reasoning with Inference-time Reinforcement Learning0
Accurate and Diverse LLM Mathematical Reasoning via Automated PRM-Guided GFlowNets0
A Meaning-based English Math Word Problem Solver with Understanding, Reasoning and Explanation0
Robot Kinematics: Motion, Kinematics and Dynamics0
A matrix math facility for Power ISA(TM) processors0
AltCanvas: A Tile-Based Image Editor with Generative AI for Blind or Visually Impaired People0
A LLM Benchmark based on the Minecraft Builder Dialog Agent Task0
Rule-based Data Selection for Large Language Models0
Alignment with Preference Optimization Is All You Need for LLM Safety0
Aligning Tutor Discourse Supporting Rigorous Thinking with Tutee Content Mastery for Predicting Math Achievement0
S^3c-Math: Spontaneous Step-level Self-correction Makes Large Language Models Better Mathematical Reasoners0
Sabiá-2: A New Generation of Portuguese Large Language Models0
SAIE Framework: Support Alone Isn't Enough -- Advancing LLM Training with Adversarial Remarks0
Salsa Fresca: Angular Embeddings and Pre-Training for ML Attacks on Learning With Errors0
SBSC: Step-By-Step Coding for Improving Mathematical Olympiad Performance0
Scalable LLM Math Reasoning Acceleration with Low-rank Distillation0
ScaleBiO: Scalable Bilevel Optimization for LLM Data Reweighting0
Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators0
Scaling Test-Time Compute Without Verification or RL is Suboptimal0
Scaling Up RL: Unlocking Diverse Reasoning in LLMs via Prolonged Training0
Accelerating Neural Network Optimization Through an Automated Control Theory Lens0
Is GPT-3 Text Indistinguishable from Human Text? Scarecrow: A Framework for Scrutinizing Machine Text0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems0
SEED-GRPO: Semantic Entropy Enhanced GRPO for Uncertainty-Aware Policy Optimization0
Using Intermediate Representations to Solve Math Word Problems0
A Large Scale Quantitative Exploration of Modeling Strategies for Content Scoring0
Using Java Geometry Expert as Guide in the Preparations for Math Contests0
Self-Competitive Learning for Solving Math Word Problem0
Self-Consistency Boosts Calibration for Math Reasoning0
Using Large Language Models to Assess Tutors' Performance in Reacting to Students Making Math Errors0
Self-Consistency Preference Optimization0
Self-consistent Reasoning For Solving Math Word Problems0
Self-Evolved Preference Optimization for Enhancing Mathematical Reasoning in Small Language Models0
A Knowledge-Aware Sequence-to-Tree Network for Math Word Problem Solving0
Self-Imagine: Effective Unimodal Reasoning with Multimodal Models using Self-Imagination0
Self-MoE: Towards Compositional Large Language Models with Self-Specialized Experts0
Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models0
Self-reinforced polynomial approximation methods for concentrated probability densities0
Self-Supervised Pretraining of Graph Neural Network for the Retrieval of Related Mathematical Expressions in Scientific Articles0
Using Large Language Model to Solve and Explain Physics Word Problems Approaching Human Level0
Automated Distractor and Feedback Generation for Math Multiple-choice Questions via In-context LearningCode0
Exploring Automated Distractor Generation for Math Multiple-choice Questions via Large Language ModelsCode0
Computationally Identifying Funneling and Focusing Questions in Classroom DiscourseCode0
Show:102550
← PrevPage 27 of 32Next →

No leaderboard results yet.