SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 976–1000 of 1596 papers

TitleStatusHype
Learning to Solve Domain-Specific Calculation Problems with Knowledge-Intensive Programs Generator—0
Least-to-Most Prompting Enables Complex Reasoning in Large Language Models—0
Les mathématiques de la langue : l'approche formelle de Montague—0
Let's Do a Thought Experiment: Using Counterfactuals to Improve Moral Reasoning—0
Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability—0
Let's Reinforce Step by Step—0
Let's reward step by step: Step-Level reward model as the Navigators for Reasoning—0
Auto-regressive Text Generation with Pre-Trained Language Models: An Empirical Study on Question-type Short Text Generation—0
Leveraging Affect Transfer Learning for Behavior Prediction in an Intelligent Tutoring System—0
Leveraging LLMs to Assess Tutor Moves in Real-Life Dialogues: A Feasibility Study—0
Leveraging Multimodal Dialog Technology for the Design of Automated and Interactive Student Agents for Teacher Training—0
Leveraging Unstructured Text Data for Federated Instruction Tuning of Large Language Models—0
Towards better Human-Agent Alignment: Assessing Task Utility in LLM-Powered Applications—0
LEWIS (LayEr WIse Sparsity) -- A Training Free Guided Model Merging Approach—0
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
Show:102550
← PrevPage 40 of 64Next →

No leaderboard results yet.