SOTAVerified

Math

Papers

Showing 451500 of 1596 papers

TitleStatusHype
TheoremQA: A Theorem-driven Question Answering datasetCode1
Non-Autoregressive Math Word Problem Solver with Unified Tree StructureCode1
Solving Math Word Problems by Combining Language Models With Symbolic SolversCode1
From Zero to Hero: Convincing with Extremely Complicated MathCode1
How well do Large Language Models perform in Arithmetic tasks?Code1
SALSA PICANTE: a machine learning attack on LWE with binary secretsCode1
MathPrompter: Mathematical Reasoning using Large Language ModelsCode1
LEVER: Learning to Verify Language-to-Code Generation with ExecutionCode1
Tree-Based Representation and Generation of Natural and Mathematical LanguageCode1
A Categorical Archive of ChatGPT FailuresCode1
Large Language Models Can Be Easily Distracted by Irrelevant ContextCode1
Mathematical Capabilities of ChatGPTCode1
Can an AI Win Ghana's National Science and Maths Quiz? An AI Grand Challenge for EducationCode1
Large Language Models Are Latent Variable Models: Explaining and Finding Good Demonstrations for In-Context LearningCode1
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical ExpressionCode1
Automatic Generation of Socratic Subquestions for Teaching Math Word ProblemsCode1
The NCTE Transcripts: A Dataset of Elementary Math Classroom TranscriptsCode1
Mining Mathematical Documents for Question Answering via Unsupervised Formula LabelingCode1
What is my math transformer doing? -- Three results on interpretability and generalizationCode1
Solving Math Word Problems via Cooperative Reasoning induced Language ModelsCode1
Broken Neural Scaling LawsCode1
A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language ModelsCode1
Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical ReasoningCode1
FormulaNet: A Benchmark Dataset for Mathematical Formula DetectionCode1
CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical ReasoningCode1
JiuZhang: A Chinese Pre-trained Language Model for Mathematical Problem UnderstandingCode1
Building Dataset for Grounding of Formulae — Annotating Coreference Relations Among Math IdentifiersCode1
ArMATH: a Dataset for Solving Arabic Math Word ProblemsCode1
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct SolutionsCode1
Math-KG: Construction and Applications of Mathematical Knowledge GraphCode1
The TalkMoves Dataset: K-12 Mathematics Lesson Transcripts Annotated for Teacher and Student Discursive MovesCode1
Self-Consistency Improves Chain of Thought Reasoning in Language ModelsCode1
Learning to Reason Deductively: Math Word Problem Solving as Complex Relation ExtractionCode1
Training and Evaluating a Jupyter Notebook Data Science AssistantCode1
A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human LevelCode1
Seeking Patterns, Not just Memorizing Procedures: Contrastive Learning for Solving Math Word ProblemsCode1
Pretrained Language Models are Symbolic Mathematics Solvers too!Code1
Recall and Learn: A Memory-augmented Solver for Math Word ProblemsCode1
MWPToolkit: An Open-Source Framework for Deep Learning-Based Math Word Problem SolversCode1
Math Word Problem Solving with Explicit Numerical ValuesCode1
MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem SolvingCode1
Neural-Symbolic Solver for Math Word Problems with Auxiliary TasksCode1
A Diverse Corpus for Evaluating and Developing English Math Word Problem SolversCode1
Measuring Conversational Uptake: A Case Study on Student-Teacher InteractionsCode1
MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics EducationCode1
GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical ReasoningCode1
Design and implementation of an environment for Learning to Run a Power Network (L2RPN)Code1
Are NLP Models really able to Solve Simple Math Word Problems?Code1
Learning by Fixing: Solving Math Word Problems with Weak SupervisionCode1
Semantically-Aligned Universal Tree-Structured Solver for Math Word ProblemsCode1
Show:102550
← PrevPage 10 of 32Next →

No leaderboard results yet.