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

🧮 Computational Theory and Mathematics

94 papers · page 1 of 2 · 1–25 · 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. SciPy 1.0 — Fundamental Algorithms for Scientific Computing in PythonPauli Virtanen, Ralf Gommers, Travis E. Oliphant, et al.2019 · 38,317 citations
  2. UMAP: Uniform Manifold Approximation and Projection for Dimension ReductionLeland McInnes, John Healy, James Melville2018 · 7,136 citations
  3. Neural Message Passing for Quantum ChemistryJustin Gilmer, Samuel S. Schoenholz, Patrick F. Riley, et al.2017 · 3,699 citations
  4. hdbscan: Hierarchical density based clusteringLeland McInnes, John Healy, Steve Astels2017 · 2,932 citations
  5. Measuring Mathematical Problem Solving With the MATH DatasetDan Hendrycks, Collin Burns, Saurav Kadavath, et al.2021 · 2,318 citations
  6. Hedges: A Study in Meaning Criteria and the Logic of Fuzzy ConceptsGeorge Lakoff1973 · 1,486 citations
  7. Fast Graph Representation Learning with PyTorch GeometricMatthias Fey, Jan Eric Lenssen2019 · 1,413 citations
  8. Autonomous chemical research with large language modelsDaniil A. Boiko, Robert MacKnight, Ben Kline, et al.2023 · 1,122 citations
  9. Finite-State Transducers in Language and Speech ProcessingMehryar Mohri1997 · 1,021 citations
  10. Are NLP Models really able to Solve Simple Math Word Problems?Arkil Patel, Satwik Bhattamishra, Navin Goyal2021 · 882 citations
  11. CodeSearchNet Challenge: Evaluating the State of Semantic Code SearchHamel Husain, Ho-Hsiang Wu, Tiferet Gazit, et al.2020 · 647 citations
  12. Solving General Arithmetic Word ProblemsSubhro Roy, Dan Roth2015 · 580 citations
  13. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsLonghui Yu, Weisen Jiang, Han Shi, et al.2023 · 556 citations
  14. Learning to Solve Arithmetic Word Problems with Verb CategorizationMohammad Javad Hosseini, Hannaneh Hajishirzi, Oren Etzioni, et al.2014 · 513 citations
  15. MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based FormalismsAida Amini, Saadia Gabriel, Shanchuan Lin, et al.2019 · 500 citations
  16. Solving olympiad geometry without human demonstrationsTrieu H. Trinh, Yuhuai Wu, Quoc V. Le, et al.2024 · 482 citations
  17. Mathematical Capabilities of ChatGPTSimon Frieder, Luca Pinchetti, Alexis Chevalier, et al.2023 · 443 citations
  18. MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual ContextsPan Lu, Hritik Bansal, Tony Xia, et al.2023 · 441 citations
  19. Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-ImprovementAn Yang, Beichen Zhang, Binyuan Hui, et al.2024 · 410 citations
  20. Synchronous Tree-Adjoining GrammarsStuart M. Shieber, Yves Schabes1990 · 404 citations
  21. WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-InstructHaipeng Luo, Qingfeng Sun, Can Xu, et al.2023 · 366 citations
  22. Characterizing Structural Descriptions Produced by Various Grammatical FormalismsK. Vijay-Shanker, David J. Weir, Aravind K. Joshi1987 · 354 citations
  23. Learning Non-Isomorphic Tree Mappings for Machine TranslationJason Eisner2003 · 353 citations
  24. Parsing English with a Link GrammarDaniel D. Sleator, Davy Temperley1993 · 339 citations
  25. Chameleon: Plug-and-Play Compositional Reasoning with Large Language ModelsPan Lu, Baolin Peng, Hao Cheng, et al.2023 · 311 citations

1 2

Updated

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