Browse State-of-the-Art › Math › Papers, page 13
Math
Papers archive 2025-07-28
archive papers tagged: 1,596 · with a code link: 765 · where Syntology ran a sample: 349 (286 with a run with no instrument failure, 63 where every run was a failure of Syntology's instrument) Syntology
Show: all tagged papersonly where code ran (349 of 1,596 tagged: 286 with a run with no instrument failure, 63 where every run was a failure of Syntology's instrument)
Page 13 of 16: papers 1,201 to 1,300 of 1,596, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.
Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.
-
Investigating Symbolic Capabilities of Large Language Models21 May 2024 0 repositories listed
-
DOP: Diagnostic-Oriented Prompting for Large Language Models in Mathematical Correction20 May 2024 0 repositories listed
-
Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving20 May 2024 0 repositories listed
-
Continued Pretraining for Domain Adaptation of Wav2vec2.0 in Automatic Speech Recognition for Elementary Math Classroom Settings15 May 2024 0 repositories listed
-
Meaning-Typed Programming: Language Abstraction and Runtime for Model-Integrated Applications14 May 2024 0 repositories listed
-
MathDivide: Improved mathematical reasoning by large language models12 May 2024 0 repositories listed
-
Aligning Tutor Discourse Supporting Rigorous Thinking with Tutee Content Mastery for Predicting Math Achievement10 May 2024 0 repositories listed
-
LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought9 May 2024 0 repositories listed
-
MAmmoTH2: Scaling Instructions from the Web6 May 2024 0 repositories listed
-
Assessing and Verifying Task Utility in LLM-Powered Applications3 May 2024 0 repositories listed
-
A Careful Examination of Large Language Model Performance on Grade School Arithmetic1 May 2024 0 repositories listed
-
Math Multiple Choice Question Generation via Human-Large Language Model Collaboration1 May 2024 0 repositories listed
-
Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models1 May 2024 0 repositories listed
-
Iterative Reasoning Preference Optimization30 Apr 2024 0 repositories listed
-
Describe-then-Reason: Improving Multimodal Mathematical Reasoning through Visual Comprehension Training22 Apr 2024 0 repositories listed
-
PARAMANU-GANITA: Language Model with Mathematical Capabilities22 Apr 2024 0 repositories listed
-
22 Apr 2024 0 repositories listed
-
Improving Automated Distractor Generation for Math Multiple-choice Questions with Overgenerate-and-rank19 Apr 2024 0 repositories listed
-
On the Empirical Complexity of Reasoning and Planning in LLMs17 Apr 2024 0 repositories listed
-
Mental Stress Detection: Development and Evaluation of a Wearable In-Ear Plethysmography12 Apr 2024 0 repositories listed
-
MathVC: An LLM-Simulated Multi-Character Virtual Classroom for Mathematics Education10 Apr 2024 0 repositories listed
-
Personality-aware Student Simulation for Conversational Intelligent Tutoring Systems10 Apr 2024 0 repositories listed
-
FRACTAL: Fine-Grained Scoring from Aggregate Text Labels7 Apr 2024 0 repositories listed
-
Data Augmentation with In-Context Learning and Comparative Evaluation in Math Word Problem Solving5 Apr 2024 0 repositories listed
-
HyperCLOVA X Technical Report2 Apr 2024 0 repositories listed
-
LM²: A Simple Society of Language Models Solves Complex Reasoning2 Apr 2024 0 repositories listed
-
Exploring the Mystery of Influential Data for Mathematical Reasoning1 Apr 2024 0 repositories listed
-
IsoBench: Benchmarking Multimodal Foundation Models on Isomorphic Representations1 Apr 2024 0 repositories listed
-
Stable Code Technical Report1 Apr 2024 0 repositories listed
-
Large Language Models Are Struggle to Cope with Unreasonability in Math Problems28 Mar 2024 0 repositories listed
-
ML2SC: Deploying Machine Learning Models as Smart Contracts on the Blockchain28 Mar 2024 0 repositories listed
-
Few-Shot Recalibration of Language Models27 Mar 2024 0 repositories listed
-
The Invalsi Benchmarks: measuring Linguistic and Mathematical understanding of Large Language Models in Italian27 Mar 2024 0 repositories listed
-
Automate Knowledge Concept Tagging on Math Questions with LLMs26 Mar 2024 0 repositories listed
-
To Err is Machine: Vulnerability Detection Challenges LLM Reasoning25 Mar 2024 0 repositories listed
-
A Chain-of-Thought Prompting Approach with LLMs for Evaluating Students' Formative Assessment Responses in Science21 Mar 2024 0 repositories listed
-
From Large to Tiny: Distilling and Refining Mathematical Expertise for Math Word Problems with Weakly Supervision21 Mar 2024 0 repositories listed
-
21 Mar 2024 0 repositories listed
-
PARAMANU-AYN: Pretrain from scratch or Continual Pretraining of LLMs for Legal Domain Adaptation?20 Mar 2024 0 repositories listed
-
An upper bound of the mutation probability in the genetic algorithm for general 0-1 knapsack problem17 Mar 2024 0 repositories listed
-
Hydrodynamics of Markets:Hidden Links Between Physics and Finance14 Mar 2024 0 repositories listed
-
Laying the Foundation First? Investigating the Generalization from Atomic Skills to Complex Reasoning Tasks14 Mar 2024 0 repositories listed
-
Sabiá-2: A New Generation of Portuguese Large Language Models14 Mar 2024 0 repositories listed
-
Self-Consistency Boosts Calibration for Math Reasoning14 Mar 2024 0 repositories listed
-
Mastering Text, Code and Math Simultaneously via Fusing Highly Specialized Language Models13 Mar 2024 0 repositories listed
-
FineMath: A Fine-Grained Mathematical Evaluation Benchmark for Chinese Large Language Models12 Mar 2024 0 repositories listed
-
Contrastive Region Guidance: Improving Grounding in Vision-Language Models without Training4 Mar 2024 0 repositories listed
-
Experimenting with Generative AI: Does ChatGPT Really Increase Everyone's Productivity?4 Mar 2024 0 repositories listed
-
4 Mar 2024 0 repositories listed
-
4 Mar 2024 0 repositories listed
-
ClickTree: A Tree-based Method for Predicting Math Students' Performance Based on Clickstream Data1 Mar 2024 0 repositories listed
-
PRSA: Prompt Stealing Attacks against Real-World Prompt Services29 Feb 2024 0 repositories listed
-
MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMs26 Feb 2024 0 repositories listed
-
Brain-Inspired Two-Stage Approach: Enhancing Mathematical Reasoning by Imitating Human Thought Processes23 Feb 2024 0 repositories listed
-
LoRA-Flow: Dynamic LoRA Fusion for Large Language Models in Generative Tasks18 Feb 2024 0 repositories listed
-
16 Feb 2024 0 repositories listed
-
Language Models with Conformal Factuality Guarantees15 Feb 2024 0 repositories listed
-
Mathematical Opportunities in Digital Twins (MATH-DT)15 Feb 2024 0 repositories listed
-
Towards better Human-Agent Alignment: Assessing Task Utility in LLM-Powered Applications14 Feb 2024 0 repositories listed
-
GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinements13 Feb 2024 0 repositories listed
-
EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages12 Feb 2024 0 repositories listed
-
Understanding the Progression of Educational Topics via Semantic Matching10 Feb 2024 0 repositories listed
-
V-STaR: Training Verifiers for Self-Taught Reasoners9 Feb 2024 0 repositories listed
-
RevOrder: A Novel Method for Enhanced Arithmetic in Language Models6 Feb 2024 0 repositories listed
-
Multi-step Problem Solving Through a Verifier: An Empirical Analysis on Model-induced Process Supervision5 Feb 2024 0 repositories listed
-
Improving Assessment of Tutoring Practices using Retrieval-Augmented Generation4 Feb 2024 0 repositories listed
-
Salsa Fresca: Angular Embeddings and Pre-Training for ML Attacks on Learning With Errors2 Feb 2024 0 repositories listed
-
Large Language Models for Mathematical Reasoning: Progresses and Challenges31 Jan 2024 0 repositories listed
-
Efficient Tool Use with Chain-of-Abstraction Reasoning30 Jan 2024 0 repositories listed
-
29 Jan 2024 0 repositories listed
-
YODA: Teacher-Student Progressive Learning for Language Models28 Jan 2024 0 repositories listed
-
Exploring Educational Equity: A Machine Learning Approach to Unravel Achievement Disparities in Georgia25 Jan 2024 0 repositories listed
-
Using Java Geometry Expert as Guide in the Preparations for Math Contests22 Jan 2024 0 repositories listed
-
Self-Imagine: Effective Unimodal Reasoning with Multimodal Models using Self-Imagination16 Jan 2024 0 repositories listed
-
CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities13 Jan 2024 0 repositories listed
-
Cramer-Rao bound and absolute sensitivity in chemical reaction networks13 Jan 2024 0 repositories listed
-
Using Large Language Models to Assess Tutors' Performance in Reacting to Students Making Math Errors6 Jan 2024 0 repositories listed
-
Graph2Tac: Online Representation Learning of Formal Math Concepts5 Jan 2024 0 repositories listed
-
Mastery Guided Non-parametric Clustering to Scale-up Strategy Prediction4 Jan 2024 0 repositories listed
-
Assessing the Impact of Prompting Methods on ChatGPT's Mathematical Capabilities22 Dec 2023 0 repositories listed
-
From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting18 Dec 2023 0 repositories listed
-
14 Dec 2023 0 repositories listed
-
14 Dec 2023 0 repositories listed
-
Beyond Human Data: Scaling Self-Training for Problem-Solving with Language Models11 Dec 2023 0 repositories listed
-
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning7 Dec 2023 0 repositories listed
-
First-Step Advantage: Importance of Starting Right in Multi-Step Math Reasoning14 Nov 2023 0 repositories listed
-
SAIE Framework: Support Alone Isn't Enough -- Advancing LLM Training with Adversarial Remarks14 Nov 2023 0 repositories listed
-
Large Language Models' Understanding of Math: Source Criticism and Extrapolation12 Nov 2023 0 repositories listed
-
Let's Reinforce Step by Step10 Nov 2023 0 repositories listed
-
Enhancing LLM Intelligence with ARM-RAG: Auxiliary Rationale Memory for Retrieval Augmented Generation7 Nov 2023 0 repositories listed
-
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories25 Oct 2023 0 repositories listed
-
SEGO: Sequential Subgoal Optimization for Mathematical Problem-Solving19 Oct 2023 0 repositories listed
-
Improving Large Language Model Fine-tuning for Solving Math Problems16 Oct 2023 0 repositories listed
-
Let's reward step by step: Step-Level reward model as the Navigators for Reasoning16 Oct 2023 0 repositories listed
-
The Search-and-Mix Paradigm in Approximate Nash Equilibrium Algorithms12 Oct 2023 0 repositories listed
-
LLMs as Potential Brainstorming Partners for Math and Science Problems10 Oct 2023 0 repositories listed
-
Guiding Language Model Reasoning with Planning Tokens9 Oct 2023 0 repositories listed
-
Critique Ability of Large Language Models7 Oct 2023 0 repositories listed
-
Resprompt: Residual Connection Prompting Advances Multi-Step Reasoning in Large Language Models7 Oct 2023 0 repositories listed
-
Analysis of the Reasoning with Redundant Information Provided Ability of Large Language Models6 Oct 2023 0 repositories listed