SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1576–1596 of 1596 papers

TitleStatusHype
Limits of an AI program for solving college math problems—0
Automatized Evaluation of Formalization Exercises in Mathematics—0
LinguaLIFT: An Effective Two-stage Instruction Tuning Framework for Low-Resource Language Tasks—0
Automatic tagging of knowledge points for K12 math problems—0
Automatic Robustness Stress Testing of LLMs as Mathematical Problem Solvers—0
LLaMa-SciQ: An Educational Chatbot for Answering Science MCQ—0
Automatic Generation of Question Hints for Mathematics Problems using Large Language Models in Educational Technology—0
Meaning-Typed Programming: Language Abstraction and Runtime for Model-Integrated Applications—0
LLMs as Potential Brainstorming Partners for Math and Science Problems—0
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation—0
LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought—0
LLMs Do Not Have Human-Like Working Memory—0
LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting Problems—0
Local and global asymptotic inference in smoothing spline models—0
Local Prompt Optimization—0
Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems—0
What's Behind PPO's Collapse in Long-CoT? Value Optimization Holds the Secret—0
Long Is More Important Than Difficult for Training Reasoning Models—0
LongPerceptualThoughts: Distilling System-2 Reasoning for System-1 Perception—0
Long-range Sequence Modeling with Predictable Sparse Attention—0
LookAlike: Consistent Distractor Generation in Math MCQs—0
Show:102550
← PrevPage 64 of 64Next →

No leaderboard results yet.