SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1201–1250 of 1596 papers

TitleStatusHype
On the existence of minimizers in shallow residual ReLU neural network optimization landscapes—0
An Independent Evaluation of ChatGPT on Mathematical Word Problems (MWP)Code0
Tighter 'uniform bounds for Black-Scholes implied volatility' and the applications to root-finding—0
LEVER: Learning to Verify Language-to-Code Generation with ExecutionCode1
Tree-Based Representation and Generation of Natural and Mathematical LanguageCode1
On the Difficulty of Characterizing Network Formation with Endogenous Behavior—0
A Categorical Archive of ChatGPT FailuresCode1
Techniques to Improve Neural Math Word Problem SolversCode0
Mathematical Capabilities of ChatGPTCode1
Faithful Chain-of-Thought ReasoningCode0
Large Language Models Can Be Easily Distracted by Irrelevant ContextCode1
Can an AI Win Ghana's National Science and Maths Quiz? An AI Grand Challenge for EducationCode1
Specializing Smaller Language Models towards Multi-Step ReasoningCode2
Large Language Models Are Latent Variable Models: Explaining and Finding Good Demonstrations for In-Context LearningCode1
ThoughtSource: A central hub for large language model reasoning dataCode3
The Backpropagation algorithm for a math student—0
Tracing and Manipulating Intermediate Values in Neural Math Problem SolversCode0
Class Prototypes Based Contrastive Learning for Classifying Multi-Label and Fine-Grained Educational Videos—0
Deterministic and Nondeterministic Particle Motion with Interaction MechanismsCode0
Asymptotic behavior of mean fixation times in the Moran process with frequency-independent fitnesses—0
Constrained monotone mean-variance problem with random coefficients—0
A Survey of Deep Learning for Mathematical ReasoningCode2
MatCha: Enhancing Visual Language Pretraining with Math Reasoning and Chart Derendering—0
The Long-Term Effects of Teachers' Gender Stereotypes—0
Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement—0
Skellam Mixture Mechanism: a Novel Approach to Federated Learning with Differential PrivacyCode0
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical ExpressionCode1
Nonlinear and Machine Learning Analyses on High-Density EEG data of Math Experts and Novices—0
Generalizing Math Word Problem Solvers via Solution DiversificationCode0
Analogical Math Word Problems Solving with Enhanced Problem-Solution AssociationCode0
Explicit Knowledge Transfer for Weakly-Supervised Code Generation—0
Textual Enhanced Contrastive Learning for Solving Math Word ProblemsCode0
Robot Kinematics: Motion, Kinematics and Dynamics—0
Solving math word problems with process- and outcome-based feedback—0
DyRRen: A Dynamic Retriever-Reranker-Generator Model for Numerical Reasoning over Tabular and Textual DataCode0
Automatic Generation of Socratic Subquestions for Teaching Math Word ProblemsCode1
Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning TasksCode3
The NCTE Transcripts: A Dataset of Elementary Math Classroom TranscriptsCode1
PAL: Program-aided Language ModelsCode3
Galactica: A Large Language Model for ScienceCode4
Mining Mathematical Documents for Question Answering via Unsupervised Formula LabelingCode1
End-to-End Evaluation of a Spoken Dialogue System for Learning Basic Mathematics—0
What is my math transformer doing? -- Three results on interpretability and generalizationCode1
Solving Math Word Problems via Cooperative Reasoning induced Language ModelsCode1
Self-consistent Reasoning For Solving Math Word Problems—0
Broken Neural Scaling LawsCode1
Structure-Unified M-Tree Coding Solver for MathWord ProblemCode0
A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language ModelsCode1
Multi-View Reasoning: Consistent Contrastive Learning for Math Word ProblemCode2
An Efficient Merge Search Matheuristic for Maximising the Net Present Value of Project Schedules—0
Show:102550
← PrevPage 25 of 32Next →

No leaderboard results yet.