{"about":{"non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","site":"https://codewithpapers.app","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page","syntology":{"site":"https://syntology.ai","developers":"https://syntology.ai/developers","mcp":{"server":"https://syntology.ai/mcp","transport":"streamable-http","server_card":"https://syntology.ai/.well-known/mcp/server-card.json","auth":{"type":"trial token, no account","trial_token":"https://syntology.ai/api/oauth/trial/token","method":"POST","docs":"https://syntology.ai/developers"}},"have":"https://syntology.ai/api/graph/have?x=<method, arXiv id or title> (free, answers coverage only)","paper_base":"https://syntology.ai/paper/","atlas_base":"https://app.syntology.ai/?focus="},"machine_readable":[{"url":"https://codewithpapers.app/llms.txt","what":"the machine catalog: every machine-readable file, counted"},{"url":"https://codewithpapers.app/index/manifest.json","what":"paper-to-code index by arXiv id, with Syntology's counts"},{"url":"https://codewithpapers.app/search/manifest.json","what":"site search index (titles, authors) and its files"},{"url":"https://codewithpapers.app/download","what":"bulk files: Syntology's layer, described there"},{"url":"https://codewithpapers.app/build_manifest.json","what":"the build record: inputs, counts, exclusions, probes"}]},"url":"/task/math/papers/8","list_of":"/task/math","task":"Math","archive":{"snapshot":"2025-07-28"},"key_notes":{"n_ran_checked":"legacy name, kept unchanged so existing readers do not break: it counts the samples that ran with no instrument failure (honoured, violated, and ran with no contract checked); it does not mean a contract was checked, and the pages print it as 'K with no instrument failure', not 'K checked'","n_constructed":"a sub-count of the samples that ran, never subtracted from them and never a failure: an executed sample whose run returned an instance of its own class (fixture_out_type equals the entry name): the run built an object and did not compute a result (Syntology's RAN record, counts.constructed)"},"syntology_read_at":"2026-09-28T10:30:06+00:00","order":"archive","order_definition":"repositories listed in the archive (most first), then date (newest first), then slug","page":8,"pages_in_order":16,"rows_per_page":100,"rows":[701,800],"of":1596,"counts":{"archive_papers_tagged":1596,"with_a_code_link":765,"where_syntology_ran_a_sample":349,"not_listed_spam_title":0,"listed":1596,"listed_where_code_ran":349,"where_syntology_ran_a_sample_split":{"with_a_run_with_no_instrument_failure":286,"every_run_a_failure_of_syntologys_instrument":63,"listed_with_a_run_with_no_instrument_failure":286,"listed_every_run_a_failure_of_syntologys_instrument":63,"filter":{"states":["a run with no instrument failure","any run, instrument failures included"],"default":"a run with no instrument failure","note":"on the 'only where code ran' pages the default hides, in the browser, the rows where every run was a failure of Syntology's instrument; the second state shows them again. Rows are hidden, never re-ordered; these twins list every row"}},"definition":"distinct papers the archive tags; 'where Syntology ran a sample' counts papers with at least one harvested sample that ran, which is not a correctness claim"},"first_page":"/task/math","prev":"/task/math/papers/7","next":"/task/math/papers/9","papers":[{"url":"/paper/evaluating-token-level-and-passage-level","slug":"evaluating-token-level-and-passage-level","title":"Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval","date":"2022-03-21","arxiv_id":"2203.11163","repositories_listed":1,"syntology":null},{"url":"/paper/learning-to-reason-deductively-math-word","slug":"learning-to-reason-deductively-math-word","title":"Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction","date":"2022-03-19","arxiv_id":"2203.10316","repositories_listed":1,"syntology":{"n":3,"n_ran":2,"n_constructed":1,"n_ran_checked":1,"n_instrument":1,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":1,"n_pointer_only":3,"phrase":"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","sample_list":"/paper/learning-to-reason-deductively-math-word#ran","syntology_url":"https://syntology.ai/paper/2203.10316","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2203.10316"}},"official":{"repos":["allanj/deductive-mwp"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":1,"n_ran_no_instrument_failure":1,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/aifb-webscience-at-semeval-2022-task-12","slug":"aifb-webscience-at-semeval-2022-task-12","title":"AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities","date":"2022-03-10","arxiv_id":"2203.05325","repositories_listed":1,"syntology":null},{"url":"/paper/training-and-evaluating-a-jupyter-notebook","slug":"training-and-evaluating-a-jupyter-notebook","title":"Training and Evaluating a Jupyter Notebook Data Science Assistant","date":"2022-01-30","arxiv_id":"2201.12901","repositories_listed":1,"syntology":null},{"url":"/paper/reasoning-like-program-executors-1","slug":"reasoning-like-program-executors-1","title":"Reasoning Like Program Executors","date":"2022-01-27","arxiv_id":"2201.11473","repositories_listed":1,"syntology":null},{"url":"/paper/a-neural-network-solves-and-generates","slug":"a-neural-network-solves-and-generates","title":"A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level","date":"2021-12-31","arxiv_id":"2112.15594","repositories_listed":1,"syntology":{"n":4,"n_ran":4,"n_constructed":0,"n_ran_checked":4,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":4,"n_pointer_only":0,"phrase":"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","sample_list":"/paper/a-neural-network-solves-and-generates#ran","syntology_url":"https://syntology.ai/paper/2112.15594","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2112.15594"}},"official":{"repos":["idrori/mathq"],"state":"official (archive's flag): 4 ran","n_ran":4,"n_constructed":0,"n_ran_no_instrument_failure":4,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/heteroclinic-cycling-and-extinction-in-may","slug":"heteroclinic-cycling-and-extinction-in-may","title":"Heteroclinic cycling and extinction in May-Leonard models with demographic stochasticity","date":"2021-11-10","arxiv_id":"2111.05902","repositories_listed":1,"syntology":null},{"url":"/paper/an-edge-enhanced-hierarchical-graph-to-tree","slug":"an-edge-enhanced-hierarchical-graph-to-tree","title":"An Edge-Enhanced Hierarchical Graph-to-Tree Network for Math Word Problem Solving","date":"2021-11-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/seeking-patterns-not-just-memorizing","slug":"seeking-patterns-not-just-memorizing","title":"Seeking Patterns, Not just Memorizing Procedures: Contrastive Learning for Solving Math Word Problems","date":"2021-10-16","arxiv_id":"2110.08464","repositories_listed":1,"syntology":null},{"url":"/paper/pretrained-language-models-are-symbolic","slug":"pretrained-language-models-are-symbolic","title":"Pretrained Language Models are Symbolic Mathematics Solvers too!","date":"2021-10-07","arxiv_id":"2110.03501","repositories_listed":1,"syntology":{"n":14,"n_ran":9,"n_constructed":1,"n_ran_checked":7,"n_instrument":2,"n_unverified":5,"n_honours":0,"n_violates":1,"n_no_contract":6,"n_pointer_only":3,"phrase":"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","sample_list":"/paper/pretrained-language-models-are-symbolic#ran","syntology_url":"https://syntology.ai/paper/2110.03501","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2110.03501"}},"official":{"repos":["softsys4ai/differentiable-proving"],"state":"official (archive's flag): 9 ran","n_ran":9,"n_constructed":1,"n_ran_no_instrument_failure":7,"n_unverified":5,"ran_from_kinds":["official"]}}},{"url":"/paper/recall-and-learn-a-memory-augmented-solver","slug":"recall-and-learn-a-memory-augmented-solver","title":"Recall and Learn: A Memory-augmented Solver for Math Word Problems","date":"2021-09-27","arxiv_id":"2109.13112","repositories_listed":1,"syntology":null},{"url":"/paper/adversarial-examples-for-evaluating-math-word","slug":"adversarial-examples-for-evaluating-math-word","title":"Adversarial Examples for Evaluating Math Word Problem Solvers","date":"2021-09-13","arxiv_id":"2109.05925","repositories_listed":1,"syntology":null},{"url":"/paper/mwptoolkit-an-open-source-framework-for-deep","slug":"mwptoolkit-an-open-source-framework-for-deep","title":"MWPToolkit: An Open-Source Framework for Deep Learning-Based Math Word Problem Solvers","date":"2021-09-02","arxiv_id":"2109.00799","repositories_listed":1,"syntology":{"n":2,"n_ran":2,"n_constructed":0,"n_ran_checked":2,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":2,"n_pointer_only":1,"phrase":"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","sample_list":"/paper/mwptoolkit-an-open-source-framework-for-deep#ran","syntology_url":"https://syntology.ai/paper/2109.00799","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2109.00799"}},"official":{"repos":["lyh-yf/mwptoolkit"],"state":"official (archive's flag): 2 ran","n_ran":2,"n_constructed":0,"n_ran_no_instrument_failure":2,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/the-paradox-of-the-compositionality-of","slug":"the-paradox-of-the-compositionality-of","title":"The paradox of the compositionality of natural language: a neural machine translation case study","date":"2021-08-12","arxiv_id":"2108.05885","repositories_listed":1,"syntology":null},{"url":"/paper/math-word-problem-solving-with-explicit","slug":"math-word-problem-solving-with-explicit","title":"Math Word Problem Solving with Explicit Numerical Values","date":"2021-08-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/mwp-bert-a-strong-baseline-for-math-word","slug":"mwp-bert-a-strong-baseline-for-math-word","title":"MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving","date":"2021-07-28","arxiv_id":"2107.13435","repositories_listed":1,"syntology":{"n":4,"n_ran":2,"n_constructed":0,"n_ran_checked":1,"n_instrument":1,"n_unverified":2,"n_honours":1,"n_violates":0,"n_no_contract":0,"n_pointer_only":4,"phrase":"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","sample_list":"/paper/mwp-bert-a-strong-baseline-for-math-word#ran","syntology_url":"https://syntology.ai/paper/2107.13435","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2107.13435"}},"official":{"repos":["lzhenwen/mwp-bert"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":2,"ran_from_kinds":["official","unlocated"]}}},{"url":"/paper/coarse-grained-stochastic-model-of-myosin","slug":"coarse-grained-stochastic-model-of-myosin","title":"Coarse-grained Stochastic Model of Myosin-Driven Vesicles into Dendritic Spines","date":"2021-07-15","arxiv_id":"2107.07597","repositories_listed":1,"syntology":null},{"url":"/paper/neural-symbolic-solver-for-math-word-problems","slug":"neural-symbolic-solver-for-math-word-problems","title":"Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks","date":"2021-07-03","arxiv_id":"2107.01431","repositories_listed":1,"syntology":{"n":3,"n_ran":1,"n_constructed":0,"n_ran_checked":1,"n_instrument":0,"n_unverified":2,"n_honours":0,"n_violates":0,"n_no_contract":1,"n_pointer_only":3,"phrase":"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","sample_list":"/paper/neural-symbolic-solver-for-math-word-problems#ran","syntology_url":"https://syntology.ai/paper/2107.01431","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2107.01431"}},"official":{"repos":["QinJinghui/NS-Solver"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":0,"n_ran_no_instrument_failure":1,"n_unverified":2,"ran_from_kinds":["official"]}}},{"url":"/paper/a-diverse-corpus-for-evaluating-and-1","slug":"a-diverse-corpus-for-evaluating-and-1","title":"A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers","date":"2021-06-30","arxiv_id":"2106.15772","repositories_listed":1,"syntology":null},{"url":"/paper/dive-into-deep-learning","slug":"dive-into-deep-learning","title":"Dive into Deep Learning","date":"2021-06-21","arxiv_id":"2106.11342","repositories_listed":1,"syntology":null},{"url":"/paper/measuring-conversational-uptake-a-case-study","slug":"measuring-conversational-uptake-a-case-study","title":"Measuring Conversational Uptake: A Case Study on Student-Teacher Interactions","date":"2021-06-07","arxiv_id":"2106.03873","repositories_listed":1,"syntology":null},{"url":"/paper/mathbert-a-pre-trained-language-model-for","slug":"mathbert-a-pre-trained-language-model-for","title":"MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education","date":"2021-06-02","arxiv_id":"2106.07340","repositories_listed":1,"syntology":{"n":9,"n_ran":6,"n_constructed":0,"n_ran_checked":4,"n_instrument":2,"n_unverified":3,"n_honours":1,"n_violates":0,"n_no_contract":3,"n_pointer_only":9,"phrase":"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","sample_list":"/paper/mathbert-a-pre-trained-language-model-for#ran","syntology_url":"https://syntology.ai/paper/2106.07340","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2106.07340"}},"official":{"repos":["tbs17/MathBERT"],"state":"official (archive's flag): 6 ran","n_ran":6,"n_constructed":0,"n_ran_no_instrument_failure":4,"n_unverified":3,"ran_from_kinds":["official"]}}},{"url":"/paper/sequence-to-general-tree-knowledge-guided","slug":"sequence-to-general-tree-knowledge-guided","title":"Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving","date":"2021-06-02","arxiv_id":"2106.00990","repositories_listed":1,"syntology":null},{"url":"/paper/geoqa-a-geometric-question-answering","slug":"geoqa-a-geometric-question-answering","title":"GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning","date":"2021-05-30","arxiv_id":"2105.14517","repositories_listed":1,"syntology":{"n":5,"n_ran":0,"n_constructed":0,"n_ran_checked":0,"n_instrument":0,"n_unverified":5,"n_honours":0,"n_violates":0,"n_no_contract":0,"n_pointer_only":5,"phrase":"0 ran · 5 unverified","sample_list":"/paper/geoqa-a-geometric-question-answering#ran","syntology_url":"https://syntology.ai/paper/2105.14517","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2105.14517"}},"official":{"repos":["chen-judge/GeoQA"],"state":"official: harvested, nothing ran","n_ran":0,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":5,"ran_from_kinds":[]}}},{"url":"/paper/finnger-applying-artificial-intelligence-to","slug":"finnger-applying-artificial-intelligence-to","title":"FINNger -- Applying artificial intelligence to ease math learning for children","date":"2021-05-26","arxiv_id":"2105.12281","repositories_listed":1,"syntology":null},{"url":"/paper/compositional-processing-emerges-in-neural","slug":"compositional-processing-emerges-in-neural","title":"Compositional Processing Emerges in Neural Networks Solving Math Problems","date":"2021-05-19","arxiv_id":"2105.08961","repositories_listed":1,"syntology":null},{"url":"/paper/investigating-math-word-problems-using","slug":"investigating-math-word-problems-using","title":"Investigating Math Word Problems using Pretrained Multilingual Language Models","date":"2021-05-19","arxiv_id":"2105.08928","repositories_listed":1,"syntology":null},{"url":"/paper/design-and-implementation-of-an-environment","slug":"design-and-implementation-of-an-environment","title":"Design and implementation of an environment for Learning to Run a Power Network (L2RPN)","date":"2021-04-06","arxiv_id":"2104.04080","repositories_listed":1,"syntology":null},{"url":"/paper/learning-by-fixing-solving-math-word-problems","slug":"learning-by-fixing-solving-math-word-problems","title":"Learning by Fixing: Solving Math Word Problems with Weak Supervision","date":"2020-12-19","arxiv_id":"2012.10582","repositories_listed":1,"syntology":null},{"url":"/paper/solving-math-word-problems-with-multi","slug":"solving-math-word-problems-with-multi","title":"Solving Math Word Problems with Multi-Encoders and Multi-Decoders","date":"2020-12-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/semantically-aligned-universal-tree","slug":"semantically-aligned-universal-tree","title":"Semantically-Aligned Universal Tree-Structured Solver for Math Word Problems","date":"2020-10-14","arxiv_id":"2010.06823","repositories_listed":1,"syntology":{"n":2,"n_ran":1,"n_constructed":1,"n_ran_checked":1,"n_instrument":0,"n_unverified":1,"n_honours":0,"n_violates":0,"n_no_contract":1,"n_pointer_only":2,"phrase":"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","sample_list":"/paper/semantically-aligned-universal-tree#ran","syntology_url":"https://syntology.ai/paper/2010.06823","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2010.06823"}},"official":{"repos":["QinJinghui/SAU-Solver"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":1,"n_ran_no_instrument_failure":1,"n_unverified":1,"ran_from_kinds":["official"]}}},{"url":"/paper/reverse-operation-based-data-augmentation-for","slug":"reverse-operation-based-data-augmentation-for","title":"Reverse Operation based Data Augmentation for Solving Math Word Problems","date":"2020-10-04","arxiv_id":"2010.01556","repositories_listed":1,"syntology":null},{"url":"/paper/ape210k-a-large-scale-and-template-rich","slug":"ape210k-a-large-scale-and-template-rich","title":"Ape210K: A Large-Scale and Template-Rich Dataset of Math Word Problems","date":"2020-09-24","arxiv_id":"2009.11506","repositories_listed":1,"syntology":null},{"url":"/paper/diversity-in-endogamy-an-algorithm-to","slug":"diversity-in-endogamy-an-algorithm-to","title":"An algorithm to represent inbreeding trees","date":"2020-09-21","arxiv_id":"2009.11121","repositories_listed":1,"syntology":null},{"url":"/paper/graph-to-tree-learning-for-solving-math-word","slug":"graph-to-tree-learning-for-solving-math-word","title":"Graph-to-Tree Learning for Solving Math Word Problems","date":"2020-07-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/automsc-automatic-assignment-of-mathematics","slug":"automsc-automatic-assignment-of-mathematics","title":"AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels","date":"2020-05-25","arxiv_id":"2005.12099","repositories_listed":1,"syntology":null},{"url":"/paper/misplaced-trust-measuring-the-interference-of","slug":"misplaced-trust-measuring-the-interference-of","title":"Misplaced Trust: Measuring the Interference of Machine Learning in Human Decision-Making","date":"2020-05-22","arxiv_id":"2005.10960","repositories_listed":1,"syntology":null},{"url":"/paper/sipa-a-simple-framework-for-efficient","slug":"sipa-a-simple-framework-for-efficient","title":"SIPA: A Simple Framework for Efficient Networks","date":"2020-04-24","arxiv_id":"2004.14476","repositories_listed":1,"syntology":{"n":1,"n_ran":1,"n_constructed":1,"n_ran_checked":1,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":1,"n_pointer_only":0,"phrase":"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","sample_list":"/paper/sipa-a-simple-framework-for-efficient#ran","syntology_url":"https://syntology.ai/paper/2004.14476","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2004.14476"}},"official":{"repos":["Lee-Gihun/MicroNet_OSI-AI"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":1,"n_ran_no_instrument_failure":1,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/graph-to-tree-neural-networks-for-learning","slug":"graph-to-tree-neural-networks-for-learning","title":"Graph-to-Tree Neural Networks for Learning Structured Input-Output Translation with Applications to Semantic Parsing and Math Word Problem","date":"2020-04-07","arxiv_id":"2004.13781","repositories_listed":1,"syntology":{"n":4,"n_ran":4,"n_constructed":0,"n_ran_checked":4,"n_instrument":0,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":4,"n_pointer_only":0,"phrase":"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","sample_list":"/paper/graph-to-tree-neural-networks-for-learning#ran","syntology_url":"https://syntology.ai/paper/2004.13781","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2004.13781"}},"official":{"repos":["IBM/Graph2Tree"],"state":"official (archive's flag): 4 ran","n_ran":4,"n_constructed":0,"n_ran_no_instrument_failure":4,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/scanssd-scanning-single-shot-detector-for","slug":"scanssd-scanning-single-shot-detector-for","title":"ScanSSD: Scanning Single Shot Detector for Mathematical Formulas in PDF Document Images","date":"2020-03-18","arxiv_id":"2003.08005","repositories_listed":1,"syntology":null},{"url":"/paper/discovering-mathematical-objects-of-interest","slug":"discovering-mathematical-objects-of-interest","title":"Discovering Mathematical Objects of Interest -- A Study of Mathematical Notations","date":"2020-02-07","arxiv_id":"2002.02712","repositories_listed":1,"syntology":null},{"url":"/paper/a-tree-structured-decoder-for-image-to-markup","slug":"a-tree-structured-decoder-for-image-to-markup","title":"A Tree-Structured Decoder for Image-to-Markup Generation","date":"2020-01-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/solving-arithmetic-word-problems","slug":"solving-arithmetic-word-problems","title":"Solving Arithmetic Word Problems Automatically Using Transformer and Unambiguous Representations","date":"2019-12-02","arxiv_id":"1912.00871","repositories_listed":1,"syntology":null},{"url":"/paper/automatic-generation-of-headlines-for-online","slug":"automatic-generation-of-headlines-for-online","title":"Automatic Generation of Headlines for Online Math Questions","date":"2019-11-27","arxiv_id":"1912.00839","repositories_listed":1,"syntology":null},{"url":"/paper/bounds-on-multi-asset-derivatives-via-neural","slug":"bounds-on-multi-asset-derivatives-via-neural","title":"Bounds on Multi-asset Derivatives via Neural Networks","date":"2019-11-13","arxiv_id":"1911.05523","repositories_listed":1,"syntology":null},{"url":"/paper/a-goal-driven-tree-structured-neural-model","slug":"a-goal-driven-tree-structured-neural-model","title":"A Goal-Driven Tree-Structured Neural Model for Math Word Problems","date":"2019-08-10","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/template-based-math-word-problem-solvers-with","slug":"template-based-math-word-problem-solvers-with","title":"Template-based math word problem solvers with recursive neural networks","date":"2019-07-17","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/modeling-intra-relation-in-math-word-problems","slug":"modeling-intra-relation-in-math-word-problems","title":"Modeling Intra-Relation in Math Word Problems with Different Functional Multi-Head Attentions","date":"2019-07-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/introducing-mathqa-a-math-aware-question","slug":"introducing-mathqa-a-math-aware-question","title":"Introducing MathQA -- A Math-Aware Question Answering System","date":"2019-06-28","arxiv_id":"1907.01642","repositories_listed":1,"syntology":null},{"url":"/paper/analysis-of-optimization-algorithms-via-sum","slug":"analysis-of-optimization-algorithms-via-sum","title":"Analysis of Optimization Algorithms via Sum-of-Squares","date":"2019-06-11","arxiv_id":"1906.04648","repositories_listed":1,"syntology":null},{"url":"/paper/semeval-2019-task-10-math-question-answering","slug":"semeval-2019-task-10-math-question-answering","title":"SemEval-2019 Task 10: Math Question Answering","date":"2019-06-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/from-gan-to-wgan","slug":"from-gan-to-wgan","title":"From GAN to WGAN","date":"2019-04-18","arxiv_id":"1904.08994","repositories_listed":1,"syntology":null},{"url":"/paper/mathematics-content-understanding-for","slug":"mathematics-content-understanding-for","title":"Mathematics Content Understanding for Cyberlearning via Formula Evolution Map","date":"2018-12-31","arxiv_id":"1812.11786","repositories_listed":1,"syntology":null},{"url":"/paper/translating-a-math-word-problem-to-an","slug":"translating-a-math-word-problem-to-an","title":"Translating a Math Word Problem to an Expression Tree","date":"2018-11-14","arxiv_id":"1811.05632","repositories_listed":1,"syntology":null},{"url":"/paper/semantically-aligned-equation-generation-for","slug":"semantically-aligned-equation-generation-for","title":"Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems","date":"2018-11-02","arxiv_id":"1811.00720","repositories_listed":1,"syntology":null},{"url":"/paper/rethinking-floating-point-for-deep-learning","slug":"rethinking-floating-point-for-deep-learning","title":"Rethinking floating point for deep learning","date":"2018-11-01","arxiv_id":"1811.01721","repositories_listed":1,"syntology":{"n":1,"n_ran":1,"n_constructed":0,"n_ran_checked":0,"n_instrument":1,"n_unverified":0,"n_honours":0,"n_violates":0,"n_no_contract":0,"n_pointer_only":1,"phrase":"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","sample_list":"/paper/rethinking-floating-point-for-deep-learning#ran","syntology_url":"https://syntology.ai/paper/1811.01721","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1811.01721"}},"official":{"repos":["facebookresearch/deepfloat"],"state":"official (archive's flag): 1 ran","n_ran":1,"n_constructed":0,"n_ran_no_instrument_failure":0,"n_unverified":0,"ran_from_kinds":["official"]}}},{"url":"/paper/distinguishing-affixoid-formations-from","slug":"distinguishing-affixoid-formations-from","title":"Distinguishing affixoid formations from compounds","date":"2018-08-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/a-meaning-based-statistical-english-math-word","slug":"a-meaning-based-statistical-english-math-word","title":"A Meaning-based Statistical English Math Word Problem Solver","date":"2018-03-16","arxiv_id":"1803.06064","repositories_listed":1,"syntology":null},{"url":"/paper/teaching-machines-to-code-neural-markup","slug":"teaching-machines-to-code-neural-markup","title":"Teaching Machines to Code: Neural Markup Generation with Visual Attention","date":"2018-02-15","arxiv_id":"1802.05415","repositories_listed":1,"syntology":null},{"url":"/paper/intel-ngraph-an-intermediate-representation","slug":"intel-ngraph-an-intermediate-representation","title":"Intel nGraph: An Intermediate Representation, Compiler, and Executor for Deep Learning","date":"2018-01-24","arxiv_id":"1801.08058","repositories_listed":1,"syntology":null},{"url":"/paper/mapping-to-declarative-knowledge-for-word","slug":"mapping-to-declarative-knowledge-for-word","title":"Mapping to Declarative Knowledge for Word Problem Solving","date":"2017-12-26","arxiv_id":"1712.09391","repositories_listed":1,"syntology":null},{"url":"/paper/introduction-to-the-monogenic-signal","slug":"introduction-to-the-monogenic-signal","title":"Introduction To The Monogenic Signal","date":"2017-03-27","arxiv_id":"1703.09199","repositories_listed":1,"syntology":null},{"url":"/paper/metboost-exploratory-regression-analysis-with","slug":"metboost-exploratory-regression-analysis-with","title":"metboost: Exploratory regression analysis with hierarchically clustered data","date":"2017-02-13","arxiv_id":"1702.03994","repositories_listed":1,"syntology":null},{"url":"/paper/mawps-a-math-word-problem-repository","slug":"mawps-a-math-word-problem-repository","title":"MAWPS: A Math Word Problem Repository","date":"2016-06-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/ontomathpro-ontology-a-linked-data-hub-for","slug":"ontomathpro-ontology-a-linked-data-hub-for","title":"$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics","date":"2014-07-17","arxiv_id":"1407.4833","repositories_listed":1,"syntology":null},{"url":"/paper/questa-expanding-reasoning-capacity-in-llms","slug":"questa-expanding-reasoning-capacity-in-llms","title":"QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation","date":"2025-07-17","arxiv_id":"2507.13266","repositories_listed":0,"syntology":{"n":12,"n_ran":10,"n_constructed":0,"n_ran_checked":10,"n_instrument":0,"n_unverified":2,"n_honours":0,"n_violates":0,"n_no_contract":10,"n_pointer_only":12,"phrase":"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","sample_list":"/paper/questa-expanding-reasoning-capacity-in-llms#ran","syntology_url":"https://syntology.ai/paper/2507.13266","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2507.13266"}},"official":null}},{"url":null,"slug":"var-math-probing-true-mathematical-reasoning","title":"VAR-MATH: Probing True Mathematical Reasoning in Large Language Models via Symbolic Multi-Instance Benchmarks","date":"2025-07-17","arxiv_id":"2507.12885","repositories_listed":0,"syntology":null},{"url":null,"slug":"scaling-up-rl-unlocking-diverse-reasoning-in","title":"Scaling Up RL: Unlocking Diverse Reasoning in LLMs via Prolonged Training","date":"2025-07-16","arxiv_id":"2507.12507","repositories_listed":0,"syntology":null},{"url":null,"slug":"temperature-and-persona-shape-llm-agent","title":"Temperature and Persona Shape LLM Agent Consensus With Minimal Accuracy Gains in Qualitative Coding","date":"2025-07-15","arxiv_id":"2507.11198","repositories_listed":0,"syntology":null},{"url":null,"slug":"skip-a-layer-or-loop-it-test-time-depth","title":"Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs","date":"2025-07-10","arxiv_id":"2507.07996","repositories_listed":0,"syntology":null},{"url":null,"slug":"squeeze-the-soaked-sponge-efficient-off","title":"Squeeze the Soaked Sponge: Efficient Off-policy Reinforcement Finetuning for Large Language Model","date":"2025-07-09","arxiv_id":"2507.06892","repositories_listed":0,"syntology":null},{"url":null,"slug":"core-enhancing-metacognition-with-label-free","title":"CoRE: Enhancing Metacognition with Label-free Self-evaluation in LRMs","date":"2025-07-08","arxiv_id":"2507.06087","repositories_listed":0,"syntology":null},{"url":null,"slug":"activation-steering-for-chain-of-thought","title":"Activation Steering for Chain-of-Thought Compression","date":"2025-07-07","arxiv_id":"2507.04742","repositories_listed":0,"syntology":null},{"url":null,"slug":"do-thinking-tokens-help-or-trap-towards-more","title":"Do Thinking Tokens Help or Trap? Towards More Efficient Large Reasoning Model","date":"2025-06-30","arxiv_id":"2506.23840","repositories_listed":0,"syntology":null},{"url":null,"slug":"bridging-offline-and-online-reinforcement","title":"Bridging Offline and Online Reinforcement Learning for LLMs","date":"2025-06-26","arxiv_id":"2506.21495","repositories_listed":0,"syntology":null},{"url":null,"slug":"where-to-find-grokking-in-llm-pretraining","title":"Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test","date":"2025-06-26","arxiv_id":"2506.21551","repositories_listed":0,"syntology":null},{"url":null,"slug":"multi-lingual-functional-evaluation-for-large","title":"Multi-lingual Functional Evaluation for Large Language Models","date":"2025-06-25","arxiv_id":"2506.20793","repositories_listed":0,"syntology":null},{"url":null,"slug":"when-life-gives-you-samples-the-benefits-of","title":"When Life Gives You Samples: The Benefits of Scaling up Inference Compute for Multilingual LLMs","date":"2025-06-25","arxiv_id":"2506.20544","repositories_listed":0,"syntology":null},{"url":null,"slug":"causal-decomposition-analysis-with","title":"Causal Decomposition Analysis with Synergistic Interventions: A Triply-Robust Machine Learning Approach to Addressing Multiple Dimensions of Social Disparities","date":"2025-06-23","arxiv_id":"2506.18994","repositories_listed":0,"syntology":null},{"url":"/paper/plan-for-speed-dilated-scheduling-for-masked","slug":"plan-for-speed-dilated-scheduling-for-masked","title":"Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models","date":"2025-06-23","arxiv_id":"2506.19037","repositories_listed":0,"syntology":{"n":5,"n_ran":4,"n_constructed":0,"n_ran_checked":1,"n_instrument":3,"n_unverified":1,"n_honours":0,"n_violates":1,"n_no_contract":0,"n_pointer_only":4,"phrase":"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","sample_list":"/paper/plan-for-speed-dilated-scheduling-for-masked#ran","syntology_url":"https://syntology.ai/paper/2506.19037","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2506.19037"}},"official":null}},{"url":null,"slug":"shrinking-the-generation-verification-gap","title":"Shrinking the Generation-Verification Gap with Weak Verifiers","date":"2025-06-22","arxiv_id":"2506.18203","repositories_listed":0,"syntology":null},{"url":null,"slug":"leveraging-llms-to-assess-tutor-moves-in-real","title":"Leveraging LLMs to Assess Tutor Moves in Real-Life Dialogues: A Feasibility Study","date":"2025-06-20","arxiv_id":"2506.17410","repositories_listed":0,"syntology":null},{"url":null,"slug":"no-free-lunch-rethinking-internal-feedback","title":"No Free Lunch: Rethinking Internal Feedback for LLM Reasoning","date":"2025-06-20","arxiv_id":"2506.17219","repositories_listed":0,"syntology":null},{"url":null,"slug":"siri-bench-challenging-vlms-spatial","title":"SIRI-Bench: Challenging VLMs' Spatial Intelligence through Complex Reasoning Tasks","date":"2025-06-17","arxiv_id":"2506.14512","repositories_listed":0,"syntology":null},{"url":null,"slug":"utility-driven-speculative-decoding-for","title":"Utility-Driven Speculative Decoding for Mixture-of-Experts","date":"2025-06-17","arxiv_id":"2506.20675","repositories_listed":0,"syntology":null},{"url":null,"slug":"acereason-nemotron-1-1-advancing-math-and","title":"AceReason-Nemotron 1.1: Advancing Math and Code Reasoning through SFT and RL Synergy","date":"2025-06-16","arxiv_id":"2506.13284","repositories_listed":0,"syntology":null},{"url":null,"slug":"adaptive-guidance-accelerates-reinforcement","title":"Adaptive Guidance Accelerates Reinforcement Learning of Reasoning Models","date":"2025-06-16","arxiv_id":"2506.13923","repositories_listed":0,"syntology":null},{"url":null,"slug":"direct-reasoning-optimization-llms-can-reward","title":"Direct Reasoning Optimization: LLMs Can Reward And Refine Their Own Reasoning for Open-Ended Tasks","date":"2025-06-16","arxiv_id":"2506.13351","repositories_listed":0,"syntology":null},{"url":null,"slug":"weakest-link-in-the-chain-security","title":"Weakest Link in the Chain: Security Vulnerabilities in Advanced Reasoning Models","date":"2025-06-16","arxiv_id":"2506.13726","repositories_listed":0,"syntology":null},{"url":null,"slug":"agent-rlvr-training-software-engineering","title":"Agent-RLVR: Training Software Engineering Agents via Guidance and Environment Rewards","date":"2025-06-13","arxiv_id":"2506.11425","repositories_listed":0,"syntology":null},{"url":null,"slug":"vgr-visual-grounded-reasoning","title":"VGR: Visual Grounded Reasoning","date":"2025-06-13","arxiv_id":"2506.11991","repositories_listed":0,"syntology":null},{"url":null,"slug":"ttt-bench-a-benchmark-for-evaluating","title":"TTT-Bench: A Benchmark for Evaluating Reasoning Ability with Simple and Novel Tic-Tac-Toe-style Games","date":"2025-06-11","arxiv_id":"2506.10209","repositories_listed":0,"syntology":null},{"url":null,"slug":"2506-08321","title":"LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs","date":"2025-06-10","arxiv_id":"2506.08321","repositories_listed":0,"syntology":null},{"url":null,"slug":"enhancing-reasoning-capabilities-of-small","title":"Enhancing Reasoning Capabilities of Small Language Models with Blueprints and Prompt Template Search","date":"2025-06-10","arxiv_id":"2506.08669","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-to-reason-across-parallel-samples","title":"Learning to Reason Across Parallel Samples for LLM Reasoning","date":"2025-06-10","arxiv_id":"2506.09014","repositories_listed":0,"syntology":null},{"url":null,"slug":"reinforce-llm-reasoning-through-multi-agent","title":"Reinforce LLM Reasoning through Multi-Agent Reflection","date":"2025-06-10","arxiv_id":"2506.08379","repositories_listed":0,"syntology":null},{"url":null,"slug":"guideline-forest-experience-induced-multi","title":"Guideline Forest: Experience-Induced Multi-Guideline Reasoning with Stepwise Aggregation","date":"2025-06-09","arxiv_id":"2506.07820","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-illusion-of-thinking-understanding-the","title":"The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity","date":"2025-06-07","arxiv_id":"2506.06941","repositories_listed":0,"syntology":null},{"url":null,"slug":"agentswift-efficient-llm-agent-design-via","title":"AgentSwift: Efficient LLM Agent Design via Value-guided Hierarchical Search","date":"2025-06-06","arxiv_id":"2506.06017","repositories_listed":0,"syntology":null},{"url":null,"slug":"sparq-synthetic-problem-generation-for","title":"SPARQ: Synthetic Problem Generation for Reasoning via Quality-Diversity Algorithms","date":"2025-06-06","arxiv_id":"2506.06499","repositories_listed":0,"syntology":null}],"record_sha256":"9f5c4956957f69dec9a8f276dc5c1a8b8e849102841a274346a36a7a023a3a32","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}