SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 651–700 of 1596 papers

TitleStatusHype
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
DiffSampling: Enhancing Diversity and Accuracy in Neural Text Generation—0
DIF: A Framework for Benchmarking and Verifying Implicit Bias in LLMs—0
Dictionary Insertion Prompting for Multilingual Reasoning on Multilingual Large Language Models—0
Backward bifurcation and saddle-node bifurcation in virus-immune dynamics—0
DianJin-R1: Evaluating and Enhancing Financial Reasoning in Large Language Models—0
DialogueReason: Rule-Based RL Sparks Dialogue Reasoning in LLMs—0
Backup Control Barrier Functions: Formulation and Comparative Study—0
Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages—0
Let's Reinforce Step by Step—0
LEWIS (LayEr WIse Sparsity) -- A Training Free Guided Model Merging Approach—0
Designing a Tag-Based Statistical Math Word Problem Solver with Reasoning and Explanation—0
WARM: A Weakly (+Semi) Supervised Model for Solving Math word Problems—0
Describe-then-Reason: Improving Multimodal Mathematical Reasoning through Visual Comprehension Training—0
Auto-regressive Text Generation with Pre-Trained Language Models: An Empirical Study on Question-type Short Text Generation—0
Anchored Diffusion Language Model—0
Democratizing Signal Processing and Machine Learning: Math Learning Equity for Elementary and Middle School Students—0
An Augmented Benchmark Dataset for Geometric Question Answering through Dual Parallel Text Encoding—0
Deliberate Reasoning for LLMs as Structure-aware Planning with Accurate World Model—0
Automatized Evaluation of Formalization Exercises in Mathematics—0
RSRM: Reinforcement Symbolic Regression Machine—0
Learning to Solve Domain-Specific Calculation Problems with Knowledge-Intensive Programs Generator—0
Automatic tagging of knowledge points for K12 math problems—0
Deep Neural Solver for Math Word Problems—0
Deep Neural Network based system for solving Arithmetic Word problems—0
Analyzing Non-Textual Content Elements to Detect Academic Plagiarism—0
Accelerating Neural Network Optimization Through an Automated Control Theory Lens—0
Deep Knowledge Tracing for Personalized Adaptive Learning at Historically Black Colleges and Universities—0
Automatic Robustness Stress Testing of LLMs as Mathematical Problem Solvers—0
Deconfounded Causality-aware Parameter-Efficient Fine-Tuning for Problem-Solving Improvement of LLMs—0
Analytic solution of the SEIR epidemic model via asymptotic approximant—0
1.4 Million Open-Source Distilled Reasoning Dataset to Empower Large Language Model Training—0
Least-to-Most Prompting Enables Complex Reasoning in Large Language Models—0
Automatic Generation of Question Hints for Mathematics Problems using Large Language Models in Educational Technology—0
Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement—0
Analysis of the Reasoning with Redundant Information Provided Ability of Large Language Models—0
Decoding the Black Box: Integrating Moral Imagination with Technical AI Governance—0
DebFlow: Automating Agent Creation via Agent Debate—0
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation—0
D-CPT Law: Domain-specific Continual Pre-Training Scaling Law for Large Language Models—0
Data Interpreter: An LLM Agent For Data Science—0
Automatic Description Construction for Math Expression via Topic Relation Graph—0
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning—0
Learning to Reason Across Parallel Samples for LLM Reasoning—0
Data-Driven Methods for Solving Algebra Word Problems—0
Data Augmentation with Paraphrase Generation and Entity Extraction for Multimodal Dialogue System—0
Show:102550
← PrevPage 14 of 32Next →

No leaderboard results yet.