SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 401–450 of 1596 papers

TitleStatusHype
ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language ModelsCode1
LEVER: Learning to Verify Language-to-Code Generation with ExecutionCode1
Let's Verify Math Questions Step by StepCode1
Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant EvaluationCode1
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct SolutionsCode1
Diversify and Conquer: Diversity-Centric Data Selection with Iterative RefinementCode1
A Symbolic Character-Aware Model for Solving Geometry ProblemsCode1
EXAONE Deep: Reasoning Enhanced Language ModelsCode1
Learning Goal-Conditioned Representations for Language Reward ModelsCode1
Learning by Fixing: Solving Math Word Problems with Weak SupervisionCode1
Learning From Mistakes Makes LLM Better ReasonerCode1
Learning Multi-Step Reasoning by Solving Arithmetic TasksCode1
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningCode1
Collective Constitutional AI: Aligning a Language Model with Public InputCode1
A Categorical Archive of ChatGPT FailuresCode1
Learning to Reason Deductively: Math Word Problem Solving as Complex Relation ExtractionCode1
Resa: Transparent Reasoning Models via SAEsCode1
RetICL: Sequential Retrieval of In-Context Examples with Reinforcement LearningCode1
Large Language Models Can Be Easily Distracted by Irrelevant ContextCode1
Large Language Models Are Neurosymbolic ReasonersCode1
Language Models Encode the Value of Numbers LinearlyCode1
Enhancing Cross-Tokenizer Knowledge Distillation with Contextual Dynamical MappingCode1
Large Language Models Are Latent Variable Models: Explaining and Finding Good Demonstrations for In-Context LearningCode1
Large (Vision) Language Models are Unsupervised In-Context LearnersCode1
Code-Vision: Evaluating Multimodal LLMs Logic Understanding and Code Generation CapabilitiesCode1
Non-myopic Generation of Language Models for Reasoning and PlanningCode1
Language Models as Science TutorsCode1
LASeR: Learning to Adaptively Select Reward Models with Multi-Armed BanditsCode1
Kalman Filter Enhanced GRPO for Reinforcement Learning-Based Language Model ReasoningCode1
JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis ModelsCode1
Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMsCode1
JiuZhang: A Chinese Pre-trained Language Model for Mathematical Problem UnderstandingCode1
Injecting Numerical Reasoning Skills into Language ModelsCode1
CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical ReasoningCode1
A Dynamic LLM-Powered Agent Network for Task-Oriented Agent CollaborationCode1
Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical ReasoningCode1
Is ChatGPT a Good Teacher Coach? Measuring Zero-Shot Performance For Scoring and Providing Actionable Insights on Classroom InstructionCode1
FinanceMath: Knowledge-Intensive Math Reasoning in Finance DomainsCode1
LLMThinkBench: Towards Basic Math Reasoning and Overthinking in Large Language ModelsCode1
Hierarchical Prompting Taxonomy: A Universal Evaluation Framework for Large Language Models Aligned with Human Cognitive PrinciplesCode1
Harnessing Negative Signals: Reinforcement Distillation from Teacher Data for LLM ReasoningCode1
Aioli: A Unified Optimization Framework for Language Model Data MixingCode1
HARP: A challenging human-annotated math reasoning benchmarkCode1
How to Get Your LLM to Generate Challenging Problems for EvaluationCode1
CityGPT: Empowering Urban Spatial Cognition of Large Language ModelsCode1
On the Resilience of LLM-Based Multi-Agent Collaboration with Faulty AgentsCode1
HALO: Hierarchical Autonomous Logic-Oriented Orchestration for Multi-Agent LLM SystemsCode1
HARDMath: A Benchmark Dataset for Challenging Problems in Applied MathematicsCode1
How well do Large Language Models perform in Arithmetic tasks?Code1
GOLD: Geometry Problem Solver with Natural Language DescriptionCode1
Show:102550
← PrevPage 9 of 32Next →

No leaderboard results yet.