SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 851–900 of 1596 papers

TitleStatusHype
Strictly monotone mean-variance preferences with applications to portfolio selection—0
Inference-Aware Fine-Tuning for Best-of-N Sampling in Large Language Models—0
LinguaLIFT: An Effective Two-stage Instruction Tuning Framework for Low-Resource Language Tasks—0
CoinMath: Harnessing the Power of Coding Instruction for Math LLMsCode0
A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges—0
Combining Large Language Models with Tutoring System Intelligence: A Case Study in Caregiver Homework SupportCode0
Dipper: Diversity in Prompts for Producing Large Language Model Ensembles in Reasoning tasks—0
Geo-LLaVA: A Large Multi-Modal Model for Solving Geometry Math Problems with Meta In-Context Learning—0
Learning to Solve Domain-Specific Calculation Problems with Knowledge-Intensive Programs Generator—0
A Context-Enhanced Framework for Sequential Graph ReasoningCode0
A Graph-Based Synthetic Data Pipeline for Scaling High-Quality Reasoning Instructions—0
Greek2MathTex: A Greek Speech-to-Text Framework for LaTeX Equations GenerationCode0
MNIST-Fraction: Enhancing Math Education with AI-Driven Fraction Detection and Analysis—0
LLM-as-an-Interviewer: Beyond Static Testing Through Dynamic LLM EvaluationCode0
When Dimensionality Reduction Meets Graph (Drawing) Theory: Introducing a Common Framework, Challenges and Opportunities—0
Mining Math Conjectures from LLMs: A Pruning Approach—0
Chimera: Improving Generalist Model with Domain-Specific Experts—0
Neuro-Symbolic Data Generation for Math Reasoning—0
Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM—0
Automated LaTeX Code Generation from Handwritten Math Expressions Using Vision Transformer—0
Enhancing Mathematical Reasoning in LLMs with Background Operators—0
RedStone: Curating General, Code, Math, and QA Data for Large Language Models—0
Unsupervised learning-based calibration scheme for Rough Bergomi modelCode0
MALT: Improving Reasoning with Multi-Agent LLM Training—0
Yi-Lightning Technical Report—0
Reverse Thinking Makes LLMs Stronger Reasoners—0
Mars-PO: Multi-Agent Reasoning System Preference Optimization—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—0
Embracing AI in Education: Understanding the Surge in Large Language Model Use by Secondary Students—0
Beyond Examples: High-level Automated Reasoning Paradigm in In-Context Learning via MCTSCode0
Learning by Analogy: Enhancing Few-Shot Prompting for Math Word Problem Solving with Computational Graph-Based Retrieval—0
Unraveling Arithmetic in Large Language Models: The Role of Algebraic Structures—0
Velocitune: A Velocity-based Dynamic Domain Reweighting Method for Continual Pre-training—0
MM-Eval: A Hierarchical Benchmark for Modern Mongolian Evaluation in LLMsCode0
RESOLVE: Relational Reasoning with Symbolic and Object-Level Features Using Vector Symbolic ProcessingCode0
OpenAI-o1 AB Testing: Does the o1 model really do good reasoning in math problem solving?—0
VISTA: Visual Integrated System for Tailored Automation in Math Problem Generation Using LLM—0
Meta-Reasoning Improves Tool Use in Large Language ModelsCode0
Evaluating GPT-4 at Grading Handwritten Solutions in Math Exams—0
Self-Consistency Preference Optimization—0
Automatic Generation of Question Hints for Mathematics Problems using Large Language Models in Educational Technology—0
Leveraging Label Semantics and Meta-Label Refinement for Multi-Label Question ClassificationCode0
Dictionary Insertion Prompting for Multilingual Reasoning on Multilingual Large Language Models—0
STEM-POM: Evaluating Language Models Math-Symbol Reasoning in Document Parsing—0
DynaMath: A Dynamic Visual Benchmark for Evaluating Mathematical Reasoning Robustness of Vision Language Models—0
Automated Feedback in Math Education: A Comparative Analysis of LLMs for Open-Ended Responses—0
Improving Math Problem Solving in Large Language Models Through Categorization and Strategy Tailoring—0
EoRA: Training-free Compensation for Compressed LLM with Eigenspace Low-Rank Approximation—0
Guiding Through Complexity: What Makes Good Supervision for Hard Reasoning Tasks?Code0
Library Learning Doesn't: The Curious Case of the Single-Use "Library"Code0
Show:102550
← PrevPage 18 of 32Next →

No leaderboard results yet.