{"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/mathematical-reasoning/papers/8","list_of":"/task/mathematical-reasoning","task":"Mathematical Reasoning","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":9,"rows_per_page":100,"rows":[701,800],"of":805,"counts":{"archive_papers_tagged":805,"with_a_code_link":395,"where_syntology_ran_a_sample":197,"not_listed_spam_title":0,"listed":805,"listed_where_code_ran":197,"where_syntology_ran_a_sample_split":{"with_a_run_with_no_instrument_failure":159,"every_run_a_failure_of_syntologys_instrument":38,"listed_with_a_run_with_no_instrument_failure":159,"listed_every_run_a_failure_of_syntologys_instrument":38,"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/mathematical-reasoning","prev":"/task/mathematical-reasoning/papers/7","next":"/task/mathematical-reasoning/papers/9","papers":[{"url":null,"slug":"improve-mathematical-reasoning-in-language","title":"Improve Mathematical Reasoning in Language Models by Automated Process Supervision","date":"2024-06-05","arxiv_id":"2406.06592","repositories_listed":0,"syntology":null},{"url":null,"slug":"irokobench-a-new-benchmark-for-african","title":"IrokoBench: A New Benchmark for African Languages in the Age of Large Language Models","date":"2024-06-05","arxiv_id":"2406.03368","repositories_listed":0,"syntology":null},{"url":null,"slug":"pre-trained-large-language-models-use-fourier","title":"Pre-trained Large Language Models Use Fourier Features to Compute Addition","date":"2024-06-05","arxiv_id":"2406.03445","repositories_listed":0,"syntology":null},{"url":null,"slug":"exploring-mathematical-extrapolation-of-large","title":"Exploring Mathematical Extrapolation of Large Language Models with Synthetic Data","date":"2024-06-04","arxiv_id":"2406.02100","repositories_listed":0,"syntology":null},{"url":null,"slug":"efficient-model-agnostic-alignment-via","title":"Efficient Model-agnostic Alignment via Bayesian Persuasion","date":"2024-05-29","arxiv_id":"2405.18718","repositories_listed":0,"syntology":null},{"url":null,"slug":"basis-selection-low-rank-decomposition-of","title":"Basis Selection: Low-Rank Decomposition of Pretrained Large Language Models for Target Applications","date":"2024-05-24","arxiv_id":"2405.15877","repositories_listed":0,"syntology":null},{"url":"/paper/deepseek-prover-advancing-theorem-proving-in","slug":"deepseek-prover-advancing-theorem-proving-in","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","date":"2024-05-23","arxiv_id":"2405.14333","repositories_listed":0,"syntology":null},{"url":null,"slug":"dop-diagnostic-oriented-prompting-for-large","title":"DOP: Diagnostic-Oriented Prompting for Large Language Models in Mathematical Correction","date":"2024-05-20","arxiv_id":"2405.12100","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-systematic-evaluation-of-large-language-3","title":"A Systematic Evaluation of Large Language Models for Natural Language Generation Tasks","date":"2024-05-16","arxiv_id":"2405.10251","repositories_listed":0,"syntology":null},{"url":null,"slug":"mathdivide-improved-mathematical-reasoning-by","title":"MathDivide: Improved mathematical reasoning by large language models","date":"2024-05-12","arxiv_id":"2405.13004","repositories_listed":0,"syntology":null},{"url":null,"slug":"aligning-tutor-discourse-supporting-rigorous","title":"Aligning Tutor Discourse Supporting Rigorous Thinking with Tutee Content Mastery for Predicting Math Achievement","date":"2024-05-10","arxiv_id":"2405.06218","repositories_listed":0,"syntology":null},{"url":null,"slug":"llms-can-find-mathematical-reasoning-mistakes","title":"LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought","date":"2024-05-09","arxiv_id":"2405.06705","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-careful-examination-of-large-language-model","title":"A Careful Examination of Large Language Model Performance on Grade School Arithmetic","date":"2024-05-01","arxiv_id":"2405.00332","repositories_listed":0,"syntology":null},{"url":null,"slug":"exploring-the-limits-of-fine-grained-llm","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","date":"2024-04-29","arxiv_id":"2404.18384","repositories_listed":0,"syntology":null},{"url":null,"slug":"describe-then-reason-improving-multimodal","title":"Describe-then-Reason: Improving Multimodal Mathematical Reasoning through Visual Comprehension Training","date":"2024-04-22","arxiv_id":"2404.14604","repositories_listed":0,"syntology":null},{"url":null,"slug":"paramanu-ganita-language-model-with","title":"PARAMANU-GANITA: Language Model with Mathematical Capabilities","date":"2024-04-22","arxiv_id":"2404.14395","repositories_listed":0,"syntology":null},{"url":null,"slug":"itbls-a-dataset-of-interactive-conversations","title":"iTBLS: A Dataset of Interactive Conversations Over Tabular Information","date":"2024-04-19","arxiv_id":"2404.12580","repositories_listed":0,"syntology":null},{"url":null,"slug":"enhancing-length-extrapolation-in-sequential","title":"Enhancing Length Extrapolation in Sequential Models with Pointer-Augmented Neural Memory","date":"2024-04-18","arxiv_id":"2404.11870","repositories_listed":0,"syntology":null},{"url":null,"slug":"saas-solving-ability-amplification-strategy","title":"SAAS: Solving Ability Amplification Strategy for Enhanced Mathematical Reasoning in Large Language Models","date":"2024-04-05","arxiv_id":"2404.03887","repositories_listed":0,"syntology":null},{"url":null,"slug":"exploring-the-mystery-of-influential-data-for","title":"Exploring the Mystery of Influential Data for Mathematical Reasoning","date":"2024-04-01","arxiv_id":"2404.01067","repositories_listed":0,"syntology":null},{"url":null,"slug":"dual-instruction-tuning-with-large-language","title":"Dual Instruction Tuning with Large Language Models for Mathematical Reasoning","date":"2024-03-27","arxiv_id":"2403.18295","repositories_listed":0,"syntology":null},{"url":"/paper/mathverse-does-your-multi-modal-llm-truly-see","slug":"mathverse-does-your-multi-modal-llm-truly-see","title":"MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?","date":"2024-03-21","arxiv_id":"2403.14624","repositories_listed":0,"syntology":null},{"url":null,"slug":"reinforcement-learning-from-reflective","title":"Reinforcement Learning from Reflective Feedback (RLRF): Aligning and Improving LLMs via Fine-Grained Self-Reflection","date":"2024-03-21","arxiv_id":"2403.14238","repositories_listed":0,"syntology":null},{"url":null,"slug":"openeval-benchmarking-chinese-llms-across","title":"OpenEval: Benchmarking Chinese LLMs across Capability, Alignment and Safety","date":"2024-03-18","arxiv_id":"2403.12316","repositories_listed":0,"syntology":null},{"url":null,"slug":"apriori-knowledge-in-an-era-of-computational","title":"Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery","date":"2024-03-15","arxiv_id":"2403.15437","repositories_listed":0,"syntology":null},{"url":null,"slug":"finemath-a-fine-grained-mathematical","title":"FineMath: A Fine-Grained Mathematical Evaluation Benchmark for Chinese Large Language Models","date":"2024-03-12","arxiv_id":"2403.07747","repositories_listed":0,"syntology":null},{"url":null,"slug":"prompt-selection-and-augmentation-for-few","title":"Prompt Selection and Augmentation for Few Examples Code Generation in Large Language Model and its Application in Robotics Control","date":"2024-03-11","arxiv_id":"2403.12999","repositories_listed":0,"syntology":null},{"url":null,"slug":"machine-learning-and-information-theory","title":"Machine learning and information theory concepts towards an AI Mathematician","date":"2024-03-07","arxiv_id":"2403.04571","repositories_listed":0,"syntology":null},{"url":"/paper/key-point-driven-data-synthesis-with-its","slug":"key-point-driven-data-synthesis-with-its","title":"Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning","date":"2024-03-04","arxiv_id":"2403.02333","repositories_listed":0,"syntology":null},{"url":null,"slug":"you-need-to-pay-better-attention","title":"You Need to Pay Better Attention: Rethinking the Mathematics of Attention Mechanism","date":"2024-03-03","arxiv_id":"2403.01643","repositories_listed":0,"syntology":null},{"url":null,"slug":"multimodal-arxiv-a-dataset-for-improving","title":"Multimodal ArXiv: A Dataset for Improving Scientific Comprehension of Large Vision-Language Models","date":"2024-03-01","arxiv_id":"2403.00231","repositories_listed":0,"syntology":null},{"url":null,"slug":"reasoning-in-conversation-solving-subjective","title":"Reasoning in Conversation: Solving Subjective Tasks through Dialogue Simulation for Large Language Models","date":"2024-02-27","arxiv_id":"2402.17226","repositories_listed":0,"syntology":null},{"url":null,"slug":"mathgenie-generating-synthetic-data-with","title":"MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMs","date":"2024-02-26","arxiv_id":"2402.16352","repositories_listed":0,"syntology":null},{"url":null,"slug":"look-before-you-leap-problem-elaboration","title":"Look Before You Leap: Problem Elaboration Prompting Improves Mathematical Reasoning in Large Language Models","date":"2024-02-24","arxiv_id":"2402.15764","repositories_listed":0,"syntology":null},{"url":null,"slug":"brain-inspired-two-stage-approach-enhancing","title":"Brain-Inspired Two-Stage Approach: Enhancing Mathematical Reasoning by Imitating Human Thought Processes","date":"2024-02-23","arxiv_id":"2403.00800","repositories_listed":0,"syntology":null},{"url":null,"slug":"synthetic-data-almost-from-scratch","title":"Synthetic Data (Almost) from Scratch: Generalized Instruction Tuning for Language Models","date":"2024-02-20","arxiv_id":"2402.13064","repositories_listed":0,"syntology":null},{"url":null,"slug":"assessing-llms-mathematical-reasoning-in","title":"Evaluating LLMs' Mathematical Reasoning in Financial Document Question Answering","date":"2024-02-17","arxiv_id":"2402.11194","repositories_listed":0,"syntology":null},{"url":null,"slug":"fourier-circuits-in-neural-networks-unlocking","title":"Fourier Circuits in Neural Networks and Transformers: A Case Study of Modular Arithmetic with Multiple Inputs","date":"2024-02-12","arxiv_id":"2402.09469","repositories_listed":0,"syntology":null},{"url":null,"slug":"sequential-ordering-in-textual-descriptions","title":"Can Graph Descriptive Order Affect Solving Graph Problems with LLMs?","date":"2024-02-11","arxiv_id":"2402.07140","repositories_listed":0,"syntology":null},{"url":null,"slug":"beyond-lines-and-circles-unveiling-the","title":"Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models","date":"2024-02-06","arxiv_id":"2402.03877","repositories_listed":0,"syntology":null},{"url":null,"slug":"large-language-models-for-mathematical","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","date":"2024-01-31","arxiv_id":"2402.00157","repositories_listed":0,"syntology":null},{"url":null,"slug":"efficient-tool-use-with-chain-of-abstraction","title":"Efficient Tool Use with Chain-of-Abstraction Reasoning","date":"2024-01-30","arxiv_id":"2401.17464","repositories_listed":0,"syntology":null},{"url":null,"slug":"large-multi-modal-models-lmms-as-universal","title":"Large Multi-Modal Models (LMMs) as Universal Foundation Models for AI-Native Wireless Systems","date":"2024-01-30","arxiv_id":"2402.01748","repositories_listed":0,"syntology":null},{"url":"/paper/gaps-geometry-aware-problem-solver","slug":"gaps-geometry-aware-problem-solver","title":"GAPS: Geometry-Aware Problem Solver","date":"2024-01-29","arxiv_id":"2401.16287","repositories_listed":0,"syntology":null},{"url":null,"slug":"topologies-of-reasoning-demystifying-chains","title":"Demystifying Chains, Trees, and Graphs of Thoughts","date":"2024-01-25","arxiv_id":"2401.14295","repositories_listed":0,"syntology":null},{"url":null,"slug":"improving-small-language-models-mathematical","title":"Distilling Mathematical Reasoning Capabilities into Small Language Models","date":"2024-01-22","arxiv_id":"2401.11864","repositories_listed":0,"syntology":null},{"url":null,"slug":"champ-a-competition-level-dataset-for-fine","title":"CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities","date":"2024-01-13","arxiv_id":"2401.06961","repositories_listed":0,"syntology":null},{"url":null,"slug":"olapa-mcot-enhancing-the-chinese-mathematical","title":"Olapa-MCoT: Enhancing the Chinese Mathematical Reasoning Capability of LLMs","date":"2023-12-29","arxiv_id":"2312.17535","repositories_listed":0,"syntology":null},{"url":null,"slug":"knowledge-distillation-of-llm-for-education","title":"Knowledge Distillation of LLM for Automatic Scoring of Science Education Assessments","date":"2023-12-26","arxiv_id":"2312.15842","repositories_listed":0,"syntology":null},{"url":null,"slug":"assessing-the-impact-of-prompting-persona-and","title":"Assessing the Impact of Prompting Methods on ChatGPT's Mathematical Capabilities","date":"2023-12-22","arxiv_id":"2312.15006","repositories_listed":0,"syntology":null},{"url":null,"slug":"geomverse-a-systematic-evaluation-of-large","title":"GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning","date":"2023-12-19","arxiv_id":"2312.12241","repositories_listed":0,"syntology":null},{"url":null,"slug":"from-good-to-great-improving-math-reasoning","title":"From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting","date":"2023-12-18","arxiv_id":"2401.05384","repositories_listed":0,"syntology":null},{"url":"/paper/boosting-llm-reasoning-push-the-limits-of-few","slug":"boosting-llm-reasoning-push-the-limits-of-few","title":"Fewer is More: Boosting LLM Reasoning with Reinforced Context Pruning","date":"2023-12-14","arxiv_id":"2312.08901","repositories_listed":0,"syntology":null},{"url":"/paper/tinygsm-achieving-80-on-gsm8k-with-small","slug":"tinygsm-achieving-80-on-gsm8k-with-small","title":"TinyGSM: achieving >80% on GSM8k with small language models","date":"2023-12-14","arxiv_id":"2312.09241","repositories_listed":0,"syntology":null},{"url":null,"slug":"assessing-gpt4-v-on-structured-reasoning","title":"Assessing GPT4-V on Structured Reasoning Tasks","date":"2023-12-13","arxiv_id":"2312.11524","repositories_listed":0,"syntology":null},{"url":null,"slug":"universal-self-consistency-for-large-language","title":"Universal Self-Consistency for Large Language Model Generation","date":"2023-11-29","arxiv_id":"2311.17311","repositories_listed":0,"syntology":null},{"url":null,"slug":"lans-a-layout-aware-neural-solver-for-plane","title":"LANS: A Layout-Aware Neural Solver for Plane Geometry Problem","date":"2023-11-25","arxiv_id":"2311.16476","repositories_listed":0,"syntology":null},{"url":"/paper/orca-2-teaching-small-language-models-how-to","slug":"orca-2-teaching-small-language-models-how-to","title":"Orca 2: Teaching Small Language Models How to Reason","date":"2023-11-18","arxiv_id":"2311.11045","repositories_listed":0,"syntology":null},{"url":null,"slug":"first-step-advantage-importance-of-starting","title":"First-Step Advantage: Importance of Starting Right in Multi-Step Math Reasoning","date":"2023-11-14","arxiv_id":"2311.07945","repositories_listed":0,"syntology":null},{"url":null,"slug":"let-s-reinforce-step-by-step","title":"Let's Reinforce Step by Step","date":"2023-11-10","arxiv_id":"2311.05821","repositories_listed":0,"syntology":null},{"url":null,"slug":"math-pvs-a-large-language-model-framework-to","title":"math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories","date":"2023-10-25","arxiv_id":"2310.17064","repositories_listed":0,"syntology":null},{"url":null,"slug":"can-large-language-models-explain-themselves","title":"Can Large Language Models Explain Themselves? A Study of LLM-Generated Self-Explanations","date":"2023-10-17","arxiv_id":"2310.11207","repositories_listed":0,"syntology":null},{"url":null,"slug":"let-s-reward-step-by-step-step-level-reward","title":"Let's reward step by step: Step-Level reward model as the Navigators for Reasoning","date":"2023-10-16","arxiv_id":"2310.10080","repositories_listed":0,"syntology":null},{"url":null,"slug":"lobass-gauging-learnability-in-supervised","title":"DavIR: Data Selection via Implicit Reward for Large Language Models","date":"2023-10-16","arxiv_id":"2310.13008","repositories_listed":0,"syntology":null},{"url":"/paper/kwaiyiimath-technical-report","slug":"kwaiyiimath-technical-report","title":"KwaiYiiMath: Technical Report","date":"2023-10-11","arxiv_id":"2310.07488","repositories_listed":0,"syntology":null},{"url":null,"slug":"llm4dv-using-large-language-models-for","title":"LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation","date":"2023-10-06","arxiv_id":"2310.04535","repositories_listed":0,"syntology":null},{"url":null,"slug":"notes-on-a-path-to-ai-assistance-in","title":"Notes on a Path to AI Assistance in Mathematical Reasoning","date":"2023-10-04","arxiv_id":"2310.02896","repositories_listed":0,"syntology":null},{"url":null,"slug":"novice-learner-and-expert-tutor-evaluating","title":"Novice Learner and Expert Tutor: Evaluating Math Reasoning Abilities of Large Language Models with Misconceptions","date":"2023-10-03","arxiv_id":"2310.02439","repositories_listed":0,"syntology":null},{"url":null,"slug":"lpml-llm-prompting-markup-language-for","title":"LPML: LLM-Prompting Markup Language for Mathematical Reasoning","date":"2023-09-21","arxiv_id":"2309.13078","repositories_listed":0,"syntology":null},{"url":null,"slug":"on-the-meaning-of-uncertainty-for-ethical-ai","title":"On the meaning of uncertainty for ethical AI: philosophy and practice","date":"2023-09-11","arxiv_id":"2309.05529","repositories_listed":0,"syntology":null},{"url":null,"slug":"no-train-still-gain-unleash-mathematical","title":"No Train Still Gain. Unleash Mathematical Reasoning of Large Language Models with Monte Carlo Tree Search Guided by Energy Function","date":"2023-09-01","arxiv_id":"2309.03224","repositories_listed":0,"syntology":null},{"url":null,"slug":"probabilistic-results-on-the-architecture-of","title":"Probabilistic Results on the Architecture of Mathematical Reasoning Aligned by Cognitive Alternation","date":"2023-08-17","arxiv_id":"2308.08714","repositories_listed":0,"syntology":null},{"url":null,"slug":"backward-reasoning-in-large-language-models","title":"Forward-Backward Reasoning in Large Language Models for Mathematical Verification","date":"2023-08-15","arxiv_id":"2308.07758","repositories_listed":0,"syntology":null},{"url":"/paper/skills-in-context-prompting-unlocking","slug":"skills-in-context-prompting-unlocking","title":"Skills-in-Context Prompting: Unlocking Compositionality in Large Language Models","date":"2023-08-01","arxiv_id":"2308.00304","repositories_listed":0,"syntology":null},{"url":null,"slug":"mint-boosting-generalization-in-mathematical","title":"MinT: Boosting Generalization in Mathematical Reasoning via Multi-View Fine-Tuning","date":"2023-07-16","arxiv_id":"2307.07951","repositories_listed":0,"syntology":null},{"url":null,"slug":"mwpranker-an-expression-similarity-based-math","title":"MWPRanker: An Expression Similarity Based Math Word Problem Retriever","date":"2023-07-03","arxiv_id":"2307.01240","repositories_listed":0,"syntology":null},{"url":null,"slug":"jiuzhang-2-0-a-unified-chinese-pre-trained","title":"JiuZhang 2.0: A Unified Chinese Pre-trained Language Model for Multi-task Mathematical Problem Solving","date":"2023-06-19","arxiv_id":"2306.11027","repositories_listed":0,"syntology":null},{"url":null,"slug":"investigating-the-effectiveness-of-chatgpt-in","title":"Investigating the Effectiveness of ChatGPT in Mathematical Reasoning and Problem Solving: Evidence from the Vietnamese National High School Graduation Examination","date":"2023-06-10","arxiv_id":"2306.06331","repositories_listed":0,"syntology":null},{"url":null,"slug":"random-feedback-alignment-algorithms-to-train","title":"Random Feedback Alignment Algorithms to train Neural Networks: Why do they Align?","date":"2023-06-04","arxiv_id":"2306.02325","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-symbolic-framework-for-systematic","title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers","date":"2023-05-21","arxiv_id":"2305.12563","repositories_listed":0,"syntology":null},{"url":null,"slug":"federated-prompting-and-chain-of-thought","title":"Federated Prompting and Chain-of-Thought Reasoning for Improving LLMs Answering","date":"2023-04-27","arxiv_id":"2304.13911","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-by-applying-a-general-framework-for","title":"Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning","date":"2023-02-11","arxiv_id":"2302.05717","repositories_listed":0,"syntology":null},{"url":null,"slug":"reliable-natural-language-understanding-with","title":"Reliable Natural Language Understanding with Large Language Models and Answer Set Programming","date":"2023-02-07","arxiv_id":"2302.03780","repositories_listed":0,"syntology":null},{"url":"/paper/composing-ensembles-of-pre-trained-models-via","slug":"composing-ensembles-of-pre-trained-models-via","title":"Composing Ensembles of Pre-trained Models via Iterative Consensus","date":"2022-10-20","arxiv_id":"2210.11522","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-to-reason-with-relational","title":"Learning to Reason With Relational Abstractions","date":"2022-10-06","arxiv_id":"2210.02615","repositories_listed":0,"syntology":null},{"url":null,"slug":"mmtm-multi-tasking-multi-decoder-transformer","title":"MMTM: Multi-Tasking Multi-Decoder Transformer for Math Word Problems","date":"2022-06-02","arxiv_id":"2206.01268","repositories_listed":0,"syntology":null},{"url":null,"slug":"why-are-nlp-models-fumbling-at-elementary-1","title":"Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers","date":"2022-05-31","arxiv_id":"2205.15683","repositories_listed":0,"syntology":null},{"url":"/paper/numglue-a-suite-of-fundamental-yet","slug":"numglue-a-suite-of-fundamental-yet","title":"NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks","date":"2022-04-12","arxiv_id":"2204.05660","repositories_listed":0,"syntology":null},{"url":null,"slug":"enhancing-neural-mathematical-reasoning-by","title":"Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library","date":"2022-03-28","arxiv_id":"2203.14487","repositories_listed":0,"syntology":null},{"url":null,"slug":"why-are-nlp-models-fumbling-at-elementary","title":"Why are NLP Models Fumbling at Elementary Math? A Survey of Automatic Word Problem Solvers","date":"2022-01-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"theoretical-analysis-of-an-xgboost-framework","title":"Theoretical Analysis of an XGBoost Framework for Product Cannibalization","date":"2021-12-02","arxiv_id":"2112.01566","repositories_listed":0,"syntology":null},{"url":null,"slug":"graphmr-graph-neural-network-for-mathematical","title":"GraphMR: Graph Neural Network for Mathematical Reasoning","date":"2021-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-tractable-mathematical-reasoning","title":"Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems","date":"2021-10-29","arxiv_id":"2111.05364","repositories_listed":0,"syntology":null},{"url":null,"slug":"conjectures-tests-and-proofs-an-overview-of","title":"Conjectures, Tests and Proofs: An Overview of Theory Exploration","date":"2021-09-07","arxiv_id":"2109.03721","repositories_listed":0,"syntology":null},{"url":null,"slug":"sustainability-of-collusion-and-market","title":"Sustainability of Collusion and Market Transparency in a Sequential Search Market: a Generalization","date":"2021-05-05","arxiv_id":"2105.02094","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-role-of-general-intelligence-in","title":"The Role of General Intelligence in Mathematical Reasoning","date":"2021-04-27","arxiv_id":"2104.13468","repositories_listed":0,"syntology":null},{"url":null,"slug":"recognizing-and-verifying-mathematical","title":"Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units","date":"2021-04-07","arxiv_id":"2104.02899","repositories_listed":0,"syntology":null},{"url":null,"slug":"smart-a-situation-model-for-algebra-story","title":"SMART: A Situation Model for Algebra Story Problems via Attributed Grammar","date":"2020-12-27","arxiv_id":"2012.14011","repositories_listed":0,"syntology":null},{"url":null,"slug":"noisy-deductive-reasoning-how-humans","title":"Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes","date":"2020-10-28","arxiv_id":"2012.08298","repositories_listed":0,"syntology":null},{"url":null,"slug":"adventures-in-mathematical-reasoning","title":"Adventures in Mathematical Reasoning","date":"2020-08-20","arxiv_id":"2008.09067","repositories_listed":0,"syntology":null}],"record_sha256":"71b32c85539c567aef32f1b5694c5c41079f60198516312bfd21c5aa50abe61f","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}