SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 601–650 of 1596 papers

TitleStatusHype
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal—0
DynaMath: A Dynamic Visual Benchmark for Evaluating Mathematical Reasoning Robustness of Vision Language Models—0
Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces—0
Accurate closed-form solution of the SIR epidemic model—0
SelfBudgeter: Adaptive Token Allocation for Efficient LLM Reasoning—0
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning—0
Biased Programmers? Or Biased Data? A Field Experiment in Operationalizing AI Ethics—0
DrawEduMath: Evaluating Vision Language Models with Expert-Annotated Students' Hand-Drawn Math Images—0
Do Thinking Tokens Help or Trap? Towards More Efficient Large Reasoning Model—0
An Improved Coarse-to-Fine Method for Solving Generation Tasks—0
A General Retrieval-Augmented Generation Framework for Multimodal Case-Based Reasoning Applications—0
Large Language Models Can Self-Correct with Key Condition Verification—0
Large Language Models for Mathematical Reasoning: Progresses and Challenges—0
Done Is Better than Perfect: Unlocking Efficient Reasoning by Structured Multi-Turn Decomposition—0
Dolphin: A Spoken Language Proficiency Assessment System for Elementary Education—0
Beyond Sentential Semantic Parsing: Tackling the Math SAT with a Cascade of Tree Transducers—0
Do Large Language Models Truly Grasp Mathematics? An Empirical Exploration From Cognitive Psychology—0
Beyond Human Data: Scaling Self-Training for Problem-Solving with Language Models—0
Does Representation Intervention Really Identify Desired Concepts and Elicit Alignment?—0
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?—0
Accurate and Diverse LLM Mathematical Reasoning via Automated PRM-Guided GFlowNets—0
Does Reasoning Introduce Bias? A Study of Social Bias Evaluation and Mitigation in LLM Reasoning—0
Does Reasoning Emerge? Examining the Probabilities of Causation in Large Language Models—0
Beyond Captioning: Task-Specific Prompting for Improved VLM Performance in Mathematical Reasoning—0
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs—0
Large Language Models as Analogical Reasoners—0
Large Language Models Might Not Care What You Are Saying: Prompt Format Beats Descriptions—0
A Neural Network Implementation for Free Energy Principle—0
dMath: Distributed Linear Algebra for DL—0
dMath: A Scalable Linear Algebra and Math Library for Heterogeneous GP-GPU Architectures—0
Language Models with Conformal Factuality Guarantees—0
Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation—0
Better Process Supervision with Bi-directional Rewarding Signals—0
DiversiGATE: A Comprehensive Framework for Reliable Large Language Models—0
Benchmarking Reasoning Robustness in Large Language Models—0
Distributed Skellam Mechanism: a Novel Approach to Federated Learning with Differential Privacy—0
Advancing Process Verification for Large Language Models via Tree-Based Preference Learning—0
DISK: Domain-constrained Instance Sketch for Math Word Problem Generation—0
DISC: DISC: Dynamic Decomposition Improves LLM Inference Scaling—0
Benchmarking and Improving Generator-Validator Consistency of Language Models—0
Direct Reasoning Optimization: LLMs Can Reward And Refine Their Own Reasoning for Open-Ended Tasks—0
Dipper: Diversity in Prompts for Producing Large Language Model Ensembles in Reasoning tasks—0
An Efficient Merge Search Matheuristic for Maximising the Net Present Value of Project Schedules—0
DINGO: Constrained Inference for Diffusion LLMs—0
Dimension Reduction via Colour Refinement—0
BeamLoRA: Beam-Constraint Low-Rank Adaptation—0
Dimensionality reduction: theoretical perspective on practical measures—0
Digenes: genetic algorithms to discover conjectures about directed and undirected graphs—0
Basic concepts, definitions, and methods in D number theory—0
Odd period cycles and ergodic properties in price dynamics for an exchange economy—0
Show:102550
← PrevPage 13 of 32Next →

No leaderboard results yet.