SOTAVerified

Math

Papers

Showing 13011350 of 1596 papers

TitleStatusHype
Practice Makes a Solver Perfect: Data Augmentation for Math Word Problem SolversCode0
Short-time asymptotics for non self-similar stochastic volatility models0
SymForce: Symbolic Computation and Code Generation for RoboticsCode3
Assessing hierarchies by their consistent segmentationsCode0
DISK: Domain-constrained Instance Sketch for Math Word Problem Generation0
The TalkMoves Dataset: K-12 Mathematics Lesson Transcripts Annotated for Teacher and Student Discursive MovesCode1
PaLM: Scaling Language Modeling with PathwaysCode2
Self-Consistency Improves Chain of Thought Reasoning in Language ModelsCode1
Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information RetrievalCode0
Learning to Reason Deductively: Math Word Problem Solving as Complex Relation ExtractionCode1
Memorizing TransformersCode2
AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify EntitiesCode0
Homeostatic Mechanisms in Biological Systems0
Identifying equivalent Calabi--Yau topologies: A discrete challenge from math and physics for machine learning0
Training and Evaluating a Jupyter Notebook Data Science AssistantCode1
Chain-of-Thought Prompting Elicits Reasoning in Large Language ModelsCode6
Reasoning Like Program Executors0
Unbiased Math Word Problems Benchmark for Mitigating Solving Bias0
ComSearch: Equation Searching with Combinatorial Mathematics for Solving Math Word Problems with Weak Supervision0
MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving0
Investigating Math Word Problems using Pretrained Multilingual Language Models0
Auto-regressive Text Generation with Pre-Trained Language Models: An Empirical Study on Question-type Short Text Generation0
Multi-Stage Pre-Training for Math-Understanding: ^2(AL)BERT0
Why are NLP Models Fumbling at Elementary Math? A Survey of Automatic Word Problem Solvers0
Permuted and Unlinked Monotone Regression in R^d: an approach based on mixture modeling and optimal transport0
Semantic-based Data Augmentation for Math Word Problems0
Towards Trustworthy AutoGrading of Short, Multi-lingual, Multi-type Answers0
Accelerating Neural Network Optimization Through an Automated Control Theory Lens0
A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human LevelCode1
WARM: A Weakly (+Semi) Supervised Math Word Problem Solver0
Backward bifurcation and saddle-node bifurcation in virus-immune dynamics0
Effects of context, complexity, and clustering on evaluation for math formula retrieval0
ComSearch: Equation Searching with Combinatorial Mathematics for Solving Math Word Problems with Weak Supervision0
Uncertainty-Based Joint Training For Semi-Supervised Math Word Problem0
Continual Pre-training of Language Models for Math Problem Understanding with Syntax-Aware Memory Network0
Solving Linear Algebra by Program Synthesis0
Self-Competitive Learning for Solving Math Word Problem0
Improving Equation Set Problems with Label Augmentation0
Reasoning Like Program Executors0
MATHion: Solving Math Word Problems with Logically Consistent Problems0
Hierarchical Attention Decoder for Solving Math Word Problems0
Towards Interpretable Math Word Problem Solving with Grounded Linguistic Logic Reasoning0
Solving Linear Algebra by Program Synthesis0
Heteroclinic cycling and extinction in May-Leonard models with demographic stochasticityCode0
Mechanochemical models for calcium waves in embryonic epithelia0
Mapping probability word problems to executable representations0
Improving Math Word Problems with Pre-trained Knowledge and Hierarchical Reasoning0
An Edge-Enhanced Hierarchical Graph-to-Tree Network for Math Word Problem SolvingCode0
Approximation properties of Residual Neural Networks for Kolmogorov PDEs0
Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems0
Show:102550
← PrevPage 27 of 32Next →

No leaderboard results yet.