Browse State-of-the-Art › Math › Papers, page 8

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 8 of 16: papers 701 to 800 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.

• Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval
  21 Mar 2022 1 repository listed
• Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction
  19 Mar 2022 1 repository listed Syntology official (archive's flag): 2 ran · 2 ran (of which 1 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 1 where Syntology's instrument failed) · 1 unverified (of 3 harvested samples) · 3 pointer-only (licence)
• AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities
  10 Mar 2022 1 repository listed
• Training and Evaluating a Jupyter Notebook Data Science Assistant
  30 Jan 2022 1 repository listed
• Reasoning Like Program Executors
  27 Jan 2022 1 repository listed
• A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level
  31 Dec 2021 1 repository listed Syntology official (archive's flag): 4 ran · 4 ran (of which 0 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified (of 4 harvested samples)
• Heteroclinic cycling and extinction in May-Leonard models with demographic stochasticity
  10 Nov 2021 1 repository listed
• An Edge-Enhanced Hierarchical Graph-to-Tree Network for Math Word Problem Solving
  1 Nov 2021 1 repository listed
• Seeking Patterns, Not just Memorizing Procedures: Contrastive Learning for Solving Math Word Problems
  16 Oct 2021 1 repository listed
• Pretrained Language Models are Symbolic Mathematics Solvers too!
  7 Oct 2021 1 repository listed Syntology official (archive's flag): 9 ran · 9 ran (of which 1 constructed an object rather than computing a result; 7 with no instrument failure: 0 honoured, 1 violated, 6 with no contract checked; 2 where Syntology's instrument failed) · 5 unverified (of 14 harvested samples) · 3 pointer-only (licence)
• Recall and Learn: A Memory-augmented Solver for Math Word Problems
  27 Sep 2021 1 repository listed
• Adversarial Examples for Evaluating Math Word Problem Solvers
  13 Sep 2021 1 repository listed
• MWPToolkit: An Open-Source Framework for Deep Learning-Based Math Word Problem Solvers
  2 Sep 2021 1 repository listed Syntology official (archive's flag): 2 ran · 2 ran (of which 0 constructed an object rather than computing a result; 2 with no instrument failure: 0 honoured, 0 violated, 2 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified (of 2 harvested samples) · 1 pointer-only (licence)
• The paradox of the compositionality of natural language: a neural machine translation case study
  12 Aug 2021 1 repository listed
• Math Word Problem Solving with Explicit Numerical Values
  1 Aug 2021 1 repository listed
• MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving
  28 Jul 2021 1 repository listed Syntology official (archive's flag): 1 ran · 2 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 1 honoured, 0 violated, 0 with no contract checked; 1 where Syntology's instrument failed) · 2 unverified (of 4 harvested samples) · 4 pointer-only (licence)
• Coarse-grained Stochastic Model of Myosin-Driven Vesicles into Dendritic Spines
  15 Jul 2021 1 repository listed
• Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks
  3 Jul 2021 1 repository listed Syntology official (archive's flag): 1 ran · 1 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 2 unverified (of 3 harvested samples) · 3 pointer-only (licence)
• A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers
  30 Jun 2021 1 repository listed
• Dive into Deep Learning
  21 Jun 2021 1 repository listed
• Measuring Conversational Uptake: A Case Study on Student-Teacher Interactions
  7 Jun 2021 1 repository listed
• MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education
  2 Jun 2021 1 repository listed Syntology official (archive's flag): 6 ran · 6 ran (of which 0 constructed an object rather than computing a result; 4 with no instrument failure: 1 honoured, 0 violated, 3 with no contract checked; 2 where Syntology's instrument failed) · 3 unverified (of 9 harvested samples) · 9 pointer-only (licence)
• Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving
  2 Jun 2021 1 repository listed
• GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning
  30 May 2021 1 repository listed Syntology official: harvested, nothing ran · 0 ran · 5 unverified (of 5 harvested samples) · 5 pointer-only (licence)
• FINNger -- Applying artificial intelligence to ease math learning for children
  26 May 2021 1 repository listed
• Compositional Processing Emerges in Neural Networks Solving Math Problems
  19 May 2021 1 repository listed
• Investigating Math Word Problems using Pretrained Multilingual Language Models
  19 May 2021 1 repository listed
• Design and implementation of an environment for Learning to Run a Power Network (L2RPN)
  6 Apr 2021 1 repository listed
• Learning by Fixing: Solving Math Word Problems with Weak Supervision
  19 Dec 2020 1 repository listed
• Solving Math Word Problems with Multi-Encoders and Multi-Decoders
  1 Dec 2020 1 repository listed
• Semantically-Aligned Universal Tree-Structured Solver for Math Word Problems
  14 Oct 2020 1 repository listed Syntology official (archive's flag): 1 ran · 1 ran (of which 1 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 1 unverified; the one sample that ran constructed an object rather than computing a result (of 2 harvested samples) · 2 pointer-only (licence)
• Reverse Operation based Data Augmentation for Solving Math Word Problems
  4 Oct 2020 1 repository listed
• Ape210K: A Large-Scale and Template-Rich Dataset of Math Word Problems
  24 Sep 2020 1 repository listed
• An algorithm to represent inbreeding trees
  21 Sep 2020 1 repository listed
• Graph-to-Tree Learning for Solving Math Word Problems
  1 Jul 2020 1 repository listed
• AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels
  25 May 2020 1 repository listed
• Misplaced Trust: Measuring the Interference of Machine Learning in Human Decision-Making
  22 May 2020 1 repository listed
• SIPA: A Simple Framework for Efficient Networks
  24 Apr 2020 1 repository listed Syntology official (archive's flag): 1 ran · 1 ran (of which 1 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 0 violated, 1 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified; the one sample that ran constructed an object rather than computing a result (of 1 harvested sample)
• Graph-to-Tree Neural Networks for Learning Structured Input-Output Translation with Applications to Semantic Parsing and Math Word Problem
  7 Apr 2020 1 repository listed Syntology official (archive's flag): 4 ran · 4 ran (of which 0 constructed an object rather than computing a result; 4 with no instrument failure: 0 honoured, 0 violated, 4 with no contract checked; 0 where Syntology's instrument failed) · 0 unverified (of 4 harvested samples)
• ScanSSD: Scanning Single Shot Detector for Mathematical Formulas in PDF Document Images
  18 Mar 2020 1 repository listed
• Discovering Mathematical Objects of Interest -- A Study of Mathematical Notations
  7 Feb 2020 1 repository listed
• A Tree-Structured Decoder for Image-to-Markup Generation
  1 Jan 2020 1 repository listed
• Solving Arithmetic Word Problems Automatically Using Transformer and Unambiguous Representations
  2 Dec 2019 1 repository listed
• Automatic Generation of Headlines for Online Math Questions
  27 Nov 2019 1 repository listed
• Bounds on Multi-asset Derivatives via Neural Networks
  13 Nov 2019 1 repository listed
• A Goal-Driven Tree-Structured Neural Model for Math Word Problems
  10 Aug 2019 1 repository listed
• Template-based math word problem solvers with recursive neural networks
  17 Jul 2019 1 repository listed
• Modeling Intra-Relation in Math Word Problems with Different Functional Multi-Head Attentions
  1 Jul 2019 1 repository listed
• Introducing MathQA -- A Math-Aware Question Answering System
  28 Jun 2019 1 repository listed
• Analysis of Optimization Algorithms via Sum-of-Squares
  11 Jun 2019 1 repository listed
• SemEval-2019 Task 10: Math Question Answering
  1 Jun 2019 1 repository listed
• From GAN to WGAN
  18 Apr 2019 1 repository listed
• Mathematics Content Understanding for Cyberlearning via Formula Evolution Map
  31 Dec 2018 1 repository listed
• Translating a Math Word Problem to an Expression Tree
  14 Nov 2018 1 repository listed
• Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems
  2 Nov 2018 1 repository listed
• Rethinking floating point for deep learning
  1 Nov 2018 1 repository listed Syntology official (archive's flag): 1 ran · 1 ran (of which 0 constructed an object rather than computing a result; 0 with no instrument failure: 0 honoured, 0 violated, 0 with no contract checked; 1 where Syntology's instrument failed) · 0 unverified (of 1 harvested sample) · 1 pointer-only (licence)
• Distinguishing affixoid formations from compounds
  1 Aug 2018 1 repository listed
• A Meaning-based Statistical English Math Word Problem Solver
  16 Mar 2018 1 repository listed
• Teaching Machines to Code: Neural Markup Generation with Visual Attention
  15 Feb 2018 1 repository listed
• Intel nGraph: An Intermediate Representation, Compiler, and Executor for Deep Learning
  24 Jan 2018 1 repository listed
• Mapping to Declarative Knowledge for Word Problem Solving
  26 Dec 2017 1 repository listed
• Introduction To The Monogenic Signal
  27 Mar 2017 1 repository listed
• metboost: Exploratory regression analysis with hierarchically clustered data
  13 Feb 2017 1 repository listed
• MAWPS: A Math Word Problem Repository
  1 Jun 2016 1 repository listed
• OntoMathᴾᴿᴼ Ontology: A Linked Data Hub for Mathematics
  17 Jul 2014 1 repository listed
• QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
  17 Jul 2025 0 repositories listed Syntology 10 ran (of which 0 constructed an object rather than computing a result; 10 with no instrument failure: 0 honoured, 0 violated, 10 with no contract checked; 0 where Syntology's instrument failed) · 2 unverified (of 12 harvested samples) · 12 pointer-only (licence)
• VAR-MATH: Probing True Mathematical Reasoning in Large Language Models via Symbolic Multi-Instance Benchmarks
  17 Jul 2025 0 repositories listed
• Scaling Up RL: Unlocking Diverse Reasoning in LLMs via Prolonged Training
  16 Jul 2025 0 repositories listed
• Temperature and Persona Shape LLM Agent Consensus With Minimal Accuracy Gains in Qualitative Coding
  15 Jul 2025 0 repositories listed
• Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs
  10 Jul 2025 0 repositories listed
• Squeeze the Soaked Sponge: Efficient Off-policy Reinforcement Finetuning for Large Language Model
  9 Jul 2025 0 repositories listed
• CoRE: Enhancing Metacognition with Label-free Self-evaluation in LRMs
  8 Jul 2025 0 repositories listed
• Activation Steering for Chain-of-Thought Compression
  7 Jul 2025 0 repositories listed
• Do Thinking Tokens Help or Trap? Towards More Efficient Large Reasoning Model
  30 Jun 2025 0 repositories listed
• Bridging Offline and Online Reinforcement Learning for LLMs
  26 Jun 2025 0 repositories listed
• Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
  26 Jun 2025 0 repositories listed
• Multi-lingual Functional Evaluation for Large Language Models
  25 Jun 2025 0 repositories listed
• When Life Gives You Samples: The Benefits of Scaling up Inference Compute for Multilingual LLMs
  25 Jun 2025 0 repositories listed
• Causal Decomposition Analysis with Synergistic Interventions: A Triply-Robust Machine Learning Approach to Addressing Multiple Dimensions of Social Disparities
  23 Jun 2025 0 repositories listed
• Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
  23 Jun 2025 0 repositories listed Syntology 4 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 0 honoured, 1 violated, 0 with no contract checked; 3 where Syntology's instrument failed) · 1 unverified (of 5 harvested samples) · 4 pointer-only (licence)
• Shrinking the Generation-Verification Gap with Weak Verifiers
  22 Jun 2025 0 repositories listed
• Leveraging LLMs to Assess Tutor Moves in Real-Life Dialogues: A Feasibility Study
  20 Jun 2025 0 repositories listed
• No Free Lunch: Rethinking Internal Feedback for LLM Reasoning
  20 Jun 2025 0 repositories listed
• SIRI-Bench: Challenging VLMs' Spatial Intelligence through Complex Reasoning Tasks
  17 Jun 2025 0 repositories listed
• Utility-Driven Speculative Decoding for Mixture-of-Experts
  17 Jun 2025 0 repositories listed
• AceReason-Nemotron 1.1: Advancing Math and Code Reasoning through SFT and RL Synergy
  16 Jun 2025 0 repositories listed
• Adaptive Guidance Accelerates Reinforcement Learning of Reasoning Models
  16 Jun 2025 0 repositories listed
• Direct Reasoning Optimization: LLMs Can Reward And Refine Their Own Reasoning for Open-Ended Tasks
  16 Jun 2025 0 repositories listed
• Weakest Link in the Chain: Security Vulnerabilities in Advanced Reasoning Models
  16 Jun 2025 0 repositories listed
• Agent-RLVR: Training Software Engineering Agents via Guidance and Environment Rewards
  13 Jun 2025 0 repositories listed
• VGR: Visual Grounded Reasoning
  13 Jun 2025 0 repositories listed
• TTT-Bench: A Benchmark for Evaluating Reasoning Ability with Simple and Novel Tic-Tac-Toe-style Games
  11 Jun 2025 0 repositories listed
• LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
  10 Jun 2025 0 repositories listed
• Enhancing Reasoning Capabilities of Small Language Models with Blueprints and Prompt Template Search
  10 Jun 2025 0 repositories listed
• Learning to Reason Across Parallel Samples for LLM Reasoning
  10 Jun 2025 0 repositories listed
• Reinforce LLM Reasoning through Multi-Agent Reflection
  10 Jun 2025 0 repositories listed
• Guideline Forest: Experience-Induced Multi-Guideline Reasoning with Stepwise Aggregation
  9 Jun 2025 0 repositories listed
• The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity
  7 Jun 2025 0 repositories listed
• AgentSwift: Efficient LLM Agent Design via Value-guided Hierarchical Search
  6 Jun 2025 0 repositories listed
• SPARQ: Synthetic Problem Generation for Reasoning via Quality-Diversity Algorithms
  6 Jun 2025 0 repositories listed

Syntology lines on 14 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced; each line links to that paper's sample list. Syntology's record for this page has not changed since 2026-09-28, the first build that kept a record date for it; when this build read Syntology's graph is in the build record. For agents: get_harvested_code_for_paper(arxiv_id) lists each paper's samples; how to connect.