{"total":270,"rows":[{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109,"area":null},{"id":"2103.03874","title":"Measuring Mathematical Problem Solving With the MATH Dataset","created":"2021-03-05","cited_by_count":5371,"area":null},{"id":"2209.03143","title":"AudioLM: a Language Modeling Approach to Audio Generation","created":"2022-09-07","cited_by_count":616,"area":null},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291,"area":null},{"id":"2210.10749","title":"Transformers Learn Shortcuts to Automata","created":"2022-10-19","cited_by_count":268,"area":null},{"id":"2301.13867","title":"Mathematical Capabilities of ChatGPT","created":"2023-01-31","cited_by_count":268,"area":null},{"id":"2204.10532","title":"End-to-end symbolic regression with transformers","created":"2022-04-22","cited_by_count":203,"area":null},{"id":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197,"area":null},{"id":"2106.06427","title":"Neural Symbolic Regression that Scales","created":"2021-06-11","cited_by_count":192,"area":null},{"id":"2306.00107","title":"MERT: Acoustic Music Understanding Model with Large-Scale Self-supervised Training","created":"2023-05-31","cited_by_count":181,"area":null},{"id":"2206.06565","title":"LIFT: Language-Interfaced Fine-Tuning for Non-Language Machine Learning Tasks","created":"2022-06-14","cited_by_count":148,"area":null},{"id":"2102.13019","title":"Investigating the Limitations of Transformers with Simple Arithmetic Tasks","created":"2021-02-25","cited_by_count":139,"area":null},{"id":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132,"area":"offlinerl"},{"id":"2212.10535","title":"A Survey of Deep Learning for Mathematical Reasoning","created":"2022-12-20","cited_by_count":124,"area":"lr"},{"id":"2310.00656","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","created":"2023-10-01","cited_by_count":109,"area":null},{"id":"2106.14131","title":"SymbolicGPT: A Generative Transformer Model for Symbolic Regression","created":"2021-06-27","cited_by_count":105,"area":null},{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2210.09221","title":"Vision Transformers provably learn spatial structure","created":"2022-10-13","cited_by_count":93,"area":null},{"id":"2203.09795","title":"Three things everyone should know about Vision Transformers","created":"2022-03-18","cited_by_count":90,"area":null},{"id":"2103.05045","title":"Size-Invariant Graph Representations for Graph Classification Extrapolations","created":"2021-03-08","cited_by_count":84,"area":null},{"id":"2202.00665","title":"Tutorial on amortized optimization","created":"2022-02-01","cited_by_count":83,"area":null},{"id":"2104.01112","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","created":"2021-03-24","cited_by_count":81,"area":null},{"id":"2205.13320","title":"Towards Learning Universal Hyperparameter Optimizers with Transformers","created":"2022-05-26","cited_by_count":81,"area":null},{"id":"2303.06833","title":"Transformer-based Planning for Symbolic Regression","created":"2023-03-13","cited_by_count":79,"area":null},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"area":null},{"id":"2205.13134","title":"Symbolic Physics Learner: Discovering governing equations via Monte Carlo tree search","created":"2022-05-26","cited_by_count":66,"area":null},{"id":"2306.15400","title":"Length Generalization in Arithmetic Transformers","created":"2023-06-27","cited_by_count":66,"area":null},{"id":"2112.01898","title":"Linear algebra with transformers","created":"2021-12-03","cited_by_count":63,"area":null},{"id":"2305.14825","title":"Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners","created":"2023-05-24","cited_by_count":63,"area":"lr"},{"id":"2310.05573","title":"ODEFormer: Symbolic Regression of Dynamical Systems with Transformers","created":"2023-10-09","cited_by_count":62,"area":null},{"id":"2204.07697","title":"Theory of Graph Neural Networks: Representation and Learning","created":"2022-04-16","cited_by_count":61,"area":null},{"id":"2205.15764","title":"SymFormer: End-to-end symbolic regression using transformer-based architecture","created":"2022-05-31","cited_by_count":59,"area":null},{"id":"2105.05330","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","created":"2021-05-11","cited_by_count":54,"area":null},{"id":"2201.04600","title":"Deep Symbolic Regression for Recurrent Sequences","created":"2022-01-12","cited_by_count":54,"area":null},{"id":"2108.06688","title":"Complex Knowledge Base Question Answering: A Survey","created":"2021-08-15","cited_by_count":52,"area":null},{"id":"2310.02227","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","created":"2023-10-03","cited_by_count":47,"area":null},{"id":"2101.06223","title":"LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning","created":"2021-01-15","cited_by_count":46,"area":null},{"id":"2106.11927","title":"Any equation is a forest: Symbolic genetic algorithm for discovering open-form partial differential equations (SGA-PDE)","created":"2021-06-09","cited_by_count":41,"area":null},{"id":"2302.11223","title":"Deep Generative Symbolic Regression with Monte-Carlo-Tree-Search","created":"2023-02-22","cited_by_count":41,"area":null},{"id":"2202.12205","title":"Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review","created":"2022-02-24","cited_by_count":38,"area":"lr"},{"id":"2107.00101","title":"Latent Execution for Neural Program Synthesis","created":"2021-06-29","cited_by_count":35,"area":null},{"id":"2210.15889","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","created":"2022-10-28","cited_by_count":35,"area":null},{"id":"2411.00566","title":"PatternBoost: Constructions in Mathematics with a Little Help from AI","created":"2024-11-01","cited_by_count":34,"area":null},{"id":"2202.10284","title":"A Review of Emerging Research Directions in Abstract Visual Reasoning","created":"2022-02-21","cited_by_count":33,"area":"lr"},{"id":"2206.01962","title":"Formal Specifications from Natural Language","created":"2022-06-04","cited_by_count":33,"area":null},{"id":"2308.15594","title":"Learning the greatest common divisor: explaining transformer predictions","created":"2023-08-29","cited_by_count":33,"area":null},{"id":"2404.19094","title":"In-Context Symbolic Regression: Leveraging Large Language Models for Function Discovery","created":"2024-04-29","cited_by_count":31,"area":null},{"id":"2104.02746","title":"Proof of the Theory-to-Practice Gap in Deep Learning via Sampling Complexity bounds for Neural Network Approximation Spaces","created":"2021-04-06","cited_by_count":30,"area":null},{"id":"2308.12595","title":"Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation","created":"2023-08-24","cited_by_count":29,"area":null},{"id":"2410.08304","title":"Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers","created":"2024-10-10","cited_by_count":29,"area":"lr"},{"id":"2207.04785","title":"SALSA: Attacking Lattice Cryptography with Transformers","created":"2022-07-11","cited_by_count":28,"area":null},{"id":"2401.00282","title":"Deep Generative Symbolic Regression","created":"2023-12-30","cited_by_count":28,"area":null},{"id":"2109.13986","title":"Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics","created":"2021-09-28","cited_by_count":27,"area":null},{"id":"2403.02054","title":"Large Language Model-Based Evolutionary Optimizer: Reasoning with elitism","created":"2024-03-04","cited_by_count":27,"area":"lr"},{"id":"2307.12617","title":"Predicting Ordinary Differential Equations with Transformers","created":"2023-07-24","cited_by_count":26,"area":null},{"id":"2101.06317","title":"Machine-Learning Mathematical Structures","created":"2021-01-15","cited_by_count":25,"area":null},{"id":"2102.03406","title":"Symbolic Behaviour in Artificial Intelligence","created":"2021-02-05","cited_by_count":25,"area":null},{"id":"2109.13006","title":"RuleBert: Teaching Soft Rules to Pre-trained Language Models","created":"2021-09-24","cited_by_count":25,"area":null},{"id":"2309.15806","title":"Lyra: Orchestrating Dual Correction in Automated Theorem Proving","created":"2023-09-27","cited_by_count":25,"area":null},{"id":"2107.02248","title":"A comparison of LSTM and GRU networks for learning symbolic sequences","created":"2021-07-05","cited_by_count":24,"area":null},{"id":"2401.01040","title":"Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI","created":"2024-01-02","cited_by_count":24,"area":null},{"id":"2110.14207","title":"How Much Coffee Was Consumed During EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI","created":"2021-10-27","cited_by_count":22,"area":null},{"id":"2301.05638","title":"Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras from First Principles","created":"2023-01-13","cited_by_count":22,"area":null},{"id":"2305.08757","title":"Physics Informed Token Transformer for Solving Partial Differential Equations","created":"2023-05-15","cited_by_count":21,"area":null},{"id":"2304.10336","title":"Controllable Neural Symbolic Regression","created":"2023-04-20","cited_by_count":20,"area":null},{"id":"2211.00170","title":"What is my math transformer doing? -- Three results on interpretability and generalization","created":"2022-10-31","cited_by_count":19,"area":null},{"id":"2408.15778","title":"LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models","created":"2024-08-28","cited_by_count":19,"area":"lr"},{"id":"2303.07735","title":"Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models","created":"2023-03-14","cited_by_count":18,"area":"lr"},{"id":"2405.06107","title":"Transforming the Bootstrap: Using Transformers to Compute Scattering Amplitudes in Planar N = 4 Super Yang-Mills Theory","created":"2024-05-09","cited_by_count":18,"area":null},{"id":"2505.12189","title":"Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering","created":"2025-05-18","cited_by_count":18,"area":"lr"},{"id":"2107.11864","title":"Neural Circuit Synthesis from Specification Patterns","created":"2021-07-25","cited_by_count":17,"area":null},{"id":"2110.03501","title":"Pretrained Language Models are Symbolic Mathematics Solvers too!","created":"2021-10-07","cited_by_count":17,"area":null},{"id":"2309.13556","title":"LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning","created":"2023-09-24","cited_by_count":17,"area":null},{"id":"2309.16816","title":"PROSE: Predicting Operators and Symbolic Expressions using Multimodal Transformers","created":"2023-09-28","cited_by_count":16,"area":null},{"id":"2507.11737","title":"Auto-Formulating Dynamic Programming Problems with Large Language Models","created":"2025-07-15","cited_by_count":16,"area":null},{"id":"2109.02102","title":"Teaching Autoregressive Language Models Complex Tasks By Demonstration","created":"2021-09-05","cited_by_count":15,"area":null},{"id":"2206.04115","title":"Simplifying Polylogarithms with Machine Learning","created":"2022-06-08","cited_by_count":15,"area":null},{"id":"2305.12563","title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers","created":"2023-05-21","cited_by_count":15,"area":"lr"},{"id":"2408.07089","title":"InfinityMATH: A Scalable Instruction Tuning Dataset in Programmatic Mathematical Reasoning","created":"2024-08-09","cited_by_count":15,"area":"lr"},{"id":"2501.05382","title":"Large Physics Models: Towards a collaborative approach with Large Language Models and Foundation Models","created":"2025-01-09","cited_by_count":14,"area":null},{"id":"2206.08901","title":"SYMBA: Symbolic Computation of Squared Amplitudes in High Energy Physics with Machine Learning","created":"2022-06-17","cited_by_count":13,"area":null},{"id":"2108.07639","title":"Learning C to x86 Translation: An Experiment in Neural Compilation","created":"2021-08-17","cited_by_count":12,"area":null},{"id":"2111.05364","title":"Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems","created":"2021-10-29","cited_by_count":12,"area":null},{"id":"2302.07974","title":"Tree-Based Representation and Generation of Natural and Mathematical Language","created":"2023-02-15","cited_by_count":12,"area":null},{"id":"2406.02470","title":"Meta-Designing Quantum Experiments with Language Models","created":"2024-06-04","cited_by_count":12,"area":null},{"id":"2303.04178","title":"SALSA PICANTE: a machine learning attack on LWE with binary secrets","created":"2023-03-07","cited_by_count":11,"area":null},{"id":"2412.15184","title":"Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning","created":"2024-12-19","cited_by_count":11,"area":null},{"id":"2503.07994","title":"A Neural Symbolic Model for Space Physics","created":"2025-03-11","cited_by_count":11,"area":null},{"id":"2105.06331","title":"Informed Equation Learning","created":"2021-05-13","cited_by_count":10,"area":null},{"id":"2304.06333","title":"Priors for symbolic regression","created":"2023-04-13","cited_by_count":10,"area":null},{"id":"2310.05537","title":"ParFam -- (Neural Guided) Symbolic Regression Based on Continuous Global Optimization","created":"2023-10-09","cited_by_count":10,"area":null},{"id":"2401.03188","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","created":"2024-01-06","cited_by_count":10,"area":null},{"id":"2411.04383","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","created":"2024-11-07","cited_by_count":10,"area":null},{"id":"2104.14095","title":"Analyzing the Nuances of Transformers' Polynomial Simplification Abilities","created":"2021-04-29","cited_by_count":9,"area":null},{"id":"2111.10770","title":"Efficient Softmax Approximation for Deep Neural Networks with Attention Mechanism","created":"2021-11-21","cited_by_count":9,"area":null},{"id":"2303.11730","title":"Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices","created":"2023-03-21","cited_by_count":9,"area":"lr"},{"id":"2307.03678","title":"Evaluating the Effectiveness of Large Language Models in Representing Textual Descriptions of Geometry and Spatial Relations","created":"2023-07-05","cited_by_count":9,"area":null},{"id":"2402.17032","title":"REFACTOR: Learning to Extract Theorems from Proofs","created":"2024-02-26","cited_by_count":9,"area":null},{"id":"2602.20557","title":"GENSR: Symbolic Regression Based in Equation Generative Space","created":"2026-02-24","cited_by_count":9,"area":null},{"id":"2104.02899","title":"Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units","created":"2021-04-07","cited_by_count":8,"area":null}],"next_cursor":"100"}