{"list":"other","total":70,"rows":[{"id":"2402.03300","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","created":"2024-02-05","cited_by_count":9379},{"id":"2103.03874","title":"Measuring Mathematical Problem Solving With the MATH Dataset","created":"2021-03-05","cited_by_count":5371},{"id":"2012.07805","title":"Extracting Training Data from Large Language Models","created":"2020-12-14","cited_by_count":2189},{"id":"1909.08593","title":"Fine-Tuning Language Models from Human Preferences","created":"2019-09-18","cited_by_count":2150},{"id":"1910.03193","title":"DeepONet: Learning nonlinear operators for identifying differential equations based on the universal approximation theorem of operators","created":"2019-10-08","cited_by_count":2018},{"id":"2209.09513","title":"Learn to Explain: Multimodal Reasoning via Thought Chains for Science Question Answering","created":"2022-09-20","cited_by_count":1919},{"id":"1602.07576","title":"Group Equivariant Convolutional Networks","created":"2016-02-24","cited_by_count":1165},{"id":"2408.06292","title":"The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery","created":"2024-08-12","cited_by_count":1071},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867},{"id":"2211.09085","title":"Galactica: A Large Language Model for Science","created":"2022-11-16","cited_by_count":744},{"id":"1906.01563","title":"Hamiltonian Neural Networks","created":"2019-06-04","cited_by_count":712},{"id":"2101.03164","title":"E(3)-Equivariant Graph Neural Networks for Data-Efficient and Accurate Interatomic Potentials","created":"2021-01-08","cited_by_count":708},{"id":"2404.19756","title":"KAN: Kolmogorov-Arnold Networks","created":"2024-04-30","cited_by_count":649},{"id":"2304.05376","title":"ChemCrow: Augmenting large-language models with chemistry tools","created":"2023-04-11","cited_by_count":631},{"id":"2201.05624","title":"Scientific Machine Learning through Physics-Informed Neural Networks: Where we are and What's next","created":"2022-01-14","cited_by_count":608},{"id":"1905.11481","title":"AI Feynman: a Physics-Inspired Method for Symbolic Regression","created":"2019-05-27","cited_by_count":548},{"id":"2504.08066","title":"The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search","created":"2025-04-10","cited_by_count":422},{"id":"2502.18864","title":"Accelerating scientific discovery with Co-Scientist","created":"2025-02-26","cited_by_count":401},{"id":"2003.04630","title":"Lagrangian Neural Networks","created":"2020-03-10","cited_by_count":398},{"id":"2006.11287","title":"Discovering Symbolic Models from Deep Learning with Inductive Biases","created":"2020-06-19","cited_by_count":344},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"id":"1711.11157","title":"A Semantic Loss Function for Deep Learning with Symbolic Knowledge","created":"2017-11-29","cited_by_count":270},{"id":"2307.10635","title":"SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models","created":"2023-07-20","cited_by_count":256},{"id":"2307.02477","title":"Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Tasks","created":"2023-07-05","cited_by_count":246},{"id":"1711.04574","title":"Learning Explanatory Rules from Noisy Data","created":"2017-11-13","cited_by_count":211},{"id":"2506.10947","title":"Spurious Rewards: Rethinking Training Signals in RLVR","created":"2025-06-12","cited_by_count":209},{"id":"2204.10532","title":"End-to-end symbolic regression with transformers","created":"2022-04-22","cited_by_count":203},{"id":"1911.00055","title":"DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphs","created":"2019-10-31","cited_by_count":175},{"id":"2203.04115","title":"Biological Sequence Design with GFlowNets","created":"2022-03-02","cited_by_count":174},{"id":"2006.10782","title":"AI Feynman 2.0: Pareto-optimal symbolic regression exploiting graph modularity","created":"2020-06-18","cited_by_count":144},{"id":"2404.18400","title":"LLM-SR: Scientific Equation Discovery via Programming with Large Language Models","created":"2024-04-29","cited_by_count":133},{"id":"1807.10300","title":"Discovering physical concepts with neural networks","created":"2018-07-26","cited_by_count":117},{"id":"2206.00426","title":"Semantic Probabilistic Layers for Neuro-Symbolic Learning","created":"2022-06-01","cited_by_count":103},{"id":"2309.02726","title":"Large Language Models for Automated Open-domain Scientific Hypotheses Discovery","created":"2023-09-06","cited_by_count":100},{"id":"2502.03544","title":"Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2","created":"2025-02-05","cited_by_count":97},{"id":"1611.01855","title":"Neuro-Symbolic Program Synthesis","created":"2016-11-06","cited_by_count":84},{"id":"2403.04121","title":"Can Large Language Models Reason and Plan?","created":"2024-03-07","cited_by_count":82},{"id":"1910.08892","title":"Bayesian Symbolic Regression","created":"2019-10-20","cited_by_count":78},{"id":"2503.08979","title":"Agentic AI for Scientific Discovery: A Survey of Progress, Challenges, and Future Directions","created":"2025-03-12","cited_by_count":77},{"id":"2003.05562","title":"Learning Compositional Rules via Neural Program Synthesis","created":"2020-03-12","cited_by_count":74},{"id":"2106.06020","title":"Coordinate Independent Convolutional Networks -- Isometry and Gauge Equivariant Convolutions on Riemannian Manifolds","created":"2021-06-10","cited_by_count":73},{"id":"2410.07076","title":"MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific Hypotheses","created":"2024-10-09","cited_by_count":72},{"id":"2504.10415","title":"LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models","created":"2025-04-14","cited_by_count":71},{"id":"1909.00126","title":"A Logic-Driven Framework for Consistency of Neural Models","created":"2019-08-31","cited_by_count":64},{"id":"2004.12157","title":"A Bayesian machine scientist to aid in the solution of challenging scientific problems","created":"2020-04-25","cited_by_count":61},{"id":"1906.06298","title":"Augmenting Neural Networks with First-order Logic","created":"2019-06-14","cited_by_count":51},{"id":"1909.01161","title":"Embedding Symbolic Knowledge into Deep Networks","created":"2019-09-03","cited_by_count":49},{"id":"2310.02227","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","created":"2023-10-03","cited_by_count":47},{"id":"2310.07018","title":"NEWTON: Are Large Language Models Capable of Physical Reasoning?","created":"2023-10-10","cited_by_count":45},{"id":"2311.05965","title":"Large Language Models are Zero Shot Hypothesis Proposers","created":"2023-11-10","cited_by_count":45},{"id":"2412.11427","title":"Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges","created":"2024-12-16","cited_by_count":41},{"id":"2505.13775","title":"Beyond Semantics: The Unreasonable Effectiveness of Reasonless Intermediate Tokens","created":"2025-05-19","cited_by_count":41},{"id":"1804.00218","title":"HOUDINI: Lifelong Learning as Program Synthesis","created":"2018-03-31","cited_by_count":38},{"id":"2504.09762","title":"Position: Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces!","created":"2025-04-14","cited_by_count":37},{"id":"2112.03324","title":"Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks","created":"2021-12-06","cited_by_count":36},{"id":"2407.10022","title":"AtomAgents: Alloy design and discovery through physics-aware multi-modal multi-agent artificial intelligence","created":"2024-07-13","cited_by_count":36},{"id":"2502.07527","title":"Nature Language Model: Deciphering the Language of Nature for Scientific Discovery","created":"2025-02-11","cited_by_count":36},{"id":"2311.04293","title":"Lie Point Symmetry and Physics Informed Networks","created":"2023-11-07","cited_by_count":24},{"id":"1808.08441","title":"Inductive Learning of Answer Set Programs from Noisy Examples","created":"2018-08-25","cited_by_count":22},{"id":"2412.10673","title":"Proposing and solving olympiad geometry with guided tree search","created":"2024-12-14","cited_by_count":19},{"id":"2308.09474","title":"Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert","created":"2023-08-18","cited_by_count":18},{"id":"1912.03041","title":"Integrating Deep Learning with Logic Fusion for Information Extraction","created":"2019-12-06","cited_by_count":15},{"id":"2004.11947","title":"Symbolic Regression Driven by Training Data and Prior Knowledge","created":"2020-04-24","cited_by_count":13},{"id":"2505.18392","title":"Applications of Modular Co-Design for De Novo 3D Molecule Generation","created":"2025-05-23","cited_by_count":13},{"id":"2503.07994","title":"A Neural Symbolic Model for Space Physics","created":"2025-03-11","cited_by_count":11},{"id":"2505.04651","title":"Scientific Hypothesis Generation and Validation: Methods, Datasets, and Future Directions","created":"2025-05-06","cited_by_count":9},{"id":"2210.05050","title":"Neurosymbolic Programming for Science","created":"2022-10-10","cited_by_count":7},{"id":"1807.09202","title":"Constraint-Based Visual Generation","created":"2018-07-16","cited_by_count":4},{"id":"2009.06087","title":"Neural Networks Enhancement with Logical Knowledge","created":"2020-09-13","cited_by_count":3},{"id":"2006.03626","title":"LGML: Logic Guided Machine Learning","created":"2020-06-05","cited_by_count":2}],"next_cursor":null}