Elamur Research⌕
☰
home / shelves / Computer Science / Computational Theory and Mathematics / page 2

🧮 Computational Theory and Mathematics

95 papers · page 2 of 2 · 26–95 · the most cited first · all shelves

Computational Theory and Mathematics is a subfield of Computer Science in the OpenAlex classification of science. The topics most of its papers here are on: «Mathematics, Computing, and Information Processing», «semigroups and automata theory», «Formal Methods in Verification».

 Papers

1 2

  1. On the Practical Computational Power of Finite Precision RNNs for Language RecognitionGail Weiss, Yoav Goldberg, Eran Yahav2018 · 310 citations
  2. Hallucination is Inevitable: An Innate Limitation of Large Language ModelsZiwei Xu, Sanjay Jain, Mohan Kankanhalli2024 · 309 citations
  3. TIES-Merging: Resolving Interference When Merging ModelsPrateek Yadav, Derek Tam, Leshem Choshen, et al.2023 · 306 citations
  4. MathPrompter: Mathematical Reasoning using Large Language ModelsShima Imani, Liang Du, Harsh Shrivastava2023 · 297 citations
  5. MAmmoTH: Building Math Generalist Models through Hybrid Instruction TuningXiang Yue, Xingwei Qu, Ge Zhang, et al.2023 · 288 citations
  6. Analysing Mathematical Reasoning Abilities of Neural ModelsDavid Saxton, Edward Grefenstette, Felix Hill, et al.2019 · 282 citations
  7. Large Language Models for Mathematical Reasoning: Progresses and ChallengesJanice Ahn, Rishu Verma, Renze Lou, et al.2024 · 279 citations
  8. Llemma: An Open Language Model For MathematicsZhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 275 citations
  9. GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language ModelsIman Mirzadeh, Keivan Alizadeh, Hooman Shahrokhi, et al.2024 · 262 citations
  10. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsKunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 254 citations
  11. Scaling Relationship on Learning Mathematical Reasoning with Large Language ModelsZheng Yuan, Hongyi Yuan, Chengpeng Li, et al.2023 · 252 citations
  12. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsKaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 248 citations
  13. Generative Language Modeling for Automated Theorem ProvingStanislas Polu, Ilya Sutskever2020 · 235 citations
  14. MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?Renrui Zhang, Dongzhi Jiang, Yichi Zhang, et al.2024 · 231 citations
  15. ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem SolvingZhibin Gou, Zhihong Shao, Yeyun Gong, et al.2023 · 222 citations
  16. Accelerating scientific discovery with Co-ScientistJuraj Gottweis, Wei-Hung Weng, Alexander Daryin, et al.2025 · 212 citations
  17. Efficient Parsing of Highly Ambiguous Context-Free Grammars with Bit VectorsHelmut Schmid2004 · 209 citations
  18. Progress measures for grokking via mechanistic interpretabilityNeel Nanda, Lawrence Chan, Tom Lieberum, et al.2023 · 207 citations
  19. Autoformalization with Large Language ModelsYuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 202 citations
  20. Measuring Multimodal Mathematical Reasoning with MATH-Vision DatasetKe Wang, Junting Pan, Weikang Shi, et al.2024 · 198 citations
  21. Learning To Use Formulas To Solve Simple Arithmetic ProblemsArindam Mitra, Chitta Baral2016 · 178 citations
  22. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsAlbert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 175 citations
  23. Assessing the Reliability of Statistical Software: Part IB. D. McCullough1998 · 165 citations
  24. Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language ModelsBofei Gao, Feifan Song, Zhe Yang, et al.2024 · 159 citations
  25. TheoremQA: A Theorem-driven Question Answering DatasetWenhu Chen, Ming Yin, Max Ku, et al.2023 · 154 citations
  26. Computation of the Probability of Initial Substring Generation by Stochastic Context-Free GrammarsFrederick Jelinek, John D. Lafferty1991 · 150 citations
  27. HyperTree Proof Search for Neural Theorem ProvingGuillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 149 citations
  28. rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep ThinkingXinyu Guan, Li Lyna Zhang, Yifei Liu, et al.2025 · 146 citations
  29. Statistical Properties of Probabilistic Context-Free GrammarsZhiyi Chi1999 · 145 citations
  30. Mapping to Declarative Knowledge for Word Problem SolvingSubhro Roy, Dan Roth2018 · 143 citations
  31. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsZhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 141 citations
  32. Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic ReasoningPan Lu, Ran Gong, Shibiao Jiang, et al.2021 · 134 citations
  33. Formal Mathematics Statement Curriculum LearningStanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 132 citations
  34. Unit Dependency Graph and its Application to Arithmetic Word Problem SolvingSubhro Roy, Dan Roth2017 · 130 citations
  35. Deductive Verification of Chain-of-Thought ReasoningZhan Ling, Yunhao Fang, Xuanlin Li, et al.2023 · 128 citations
  36. OpenWebMath: An Open Dataset of High-Quality Mathematical Web TextKeiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.2023 · 124 citations
  37. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionZ. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 120 citations
  38. AlphaMath Almost Zero: Process Supervision without ProcessGuoxin Chen, Minpeng Liao, Chengxi Li, et al.2024 · 119 citations
  39. I-BERT: Integer-only BERT QuantizationSehoon Kim, Amir Gholami, Zhewei Yao, et al.2021 · 118 citations
  40. ProcessBench: Identifying Process Errors in Mathematical ReasoningChujie Zheng, Zhenru Zhang, Beichen Zhang, et al.2025 · 116 citations
  41. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearchHuajian Xin, Z. Z. Ren, Junxiao Song, et al.2024 · 113 citations
  42. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
  43. Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-VerificationAojun Zhou, Ke Wang, Zimu Lu, et al.2023 · 109 citations
  44. GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem SolversQintong Li, Leyang Cui, Xueliang Zhao, et al.2024 · 107 citations
  45. Learning to Reason Deductively: Math Word Problem Solving as Complex Relation ExtractionZhanming Jie, Jierui Li, Wei Lu2022 · 102 citations
  46. MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical ReasoningKe Wang, Houxing Ren, Aojun Zhou, et al.2023 · 98 citations
  47. Binarization of Synchronous Context-Free GrammarsLiang Huang, Hao Zhang, Daniel Gildea, et al.2009 · 84 citations
  48. Why Synchronous Tree Substitution Grammars?Andreas Maletti2010 · 38 citations
  49. BabyFST - Towards a Finite-State Based Computational Model of Ancient BabylonianAleksi Sahala, Miikka Silfverberg, Antti Arppe, et al.2020 · 23 citations
  50. Inherently Reversible Grammars, Logic Programming and ComputabilityMarc Dymetman1991 · 20 citations
  51. Multi-metric optimization for coreference: The UniTN / IITP / Essex submission to the 2011 CONLL Shared TaskOlga Uryupina, Sriparna Saha, Asif Ekbal, et al.2011 · 18 citations
  52. ArMATH: a Dataset for Solving Arabic Math Word ProblemsReem Alghamdi, Zhenwen Liang, Xiangliang Zhang2022 · 17 citations
  53. A Tree Transducer Model for Synchronous Tree-Adjoining GrammarsAndreas Maletti2010 · 15 citations
  54. Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models — The Story Goes OnLiang Zeng, Liangjun Zhong, Liang Zhao, et al.2024 · 14 citations
  55. Dependency Tree Transformation with Tree TransducersFelix Hennig, Arne Köhn2017 · 14 citations
  56. Revisiting Multi-Tape Automata for Semitic Morphological Analysis and GenerationMans Hulden2009 · 12 citations
  57. Design of Arabic Diacritical MarksMohamed Hssini, Azzeddine Lazrek2011 · 8 citations
  58. Orthography Engineering in Grammatical FrameworkKrasimir Angelov2015 · 5 citations
  59. Bimorphisms and synchronous grammarsStuart M. Shieber2014 · 5 citations
  60. Using a New Nonlinear Gradient Method for Solving Large Scale Convex Optimization Problems with an Application on Arabic Medical TextJaafar Hammoud, Ali Eisa, Natalia Dobrenko, et al.2021 · 2 citations
  61. Bridging the Culture Gap: A Framework for LLM-Driven Socio-Cultural Localization of Math Word Problems in Low-Resource LanguagesIsrael Abebe Azime, Tadesse Destaw Belay, Dietrich Klakow, et al.2026 · 1 citation
  62. Tensors over Semirings for Latent-Variable Weighted Logic ProgramsEsma Balkir, Daniel Gildea, Shay B. Cohen2020 · 1 citation
  63. Efficient universal generation in a fragment of Optimality TheoryPaul Siewert2026
  64. Learning Process Interaction Through Simplex ISL TransducersChenli Wang, Adam Jardine2026
  65. Phonological Processes as Modal TransductionsTatevik Yolyan, Jesse Comer2026
  66. Time-for-Accuracy: Formalizing Chain-of-Thought as an Expansion of Logical DepthYue Wang, Zhi Zhang, Wang Xi, et al.2026
  67. Difficulties in Handling Mathematical Expressions in Universal DependenciesLauren Levine2023
  68. Generic Oracles for Structured PredictionChristoph Teichmann, Antoine Venant2021
  69. Selected Operations, Algorithms, and Applications of n-Tape Weighted Finite-State MachinesAndre Kempe2009
  70. Synchronous Grammars and Transducers: Good News and Bad NewsStuart Shieber2007

1 2

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/page/2/