001 Tycho: Active Abstraction with Programmatic World Models for ARC-AGI-3 arXiv Paper Jens Lehmann et al. Yesterday 002 Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming arXiv Paper Zirong Chen, Meiyi Ma 6 days ago 003 Invariant Discovery for Networked Systems arXiv Paper Hongyu Hè, Alexander Krentsel et al. 7 days ago 004 Let AI Agents Translate Networks, Not Reason About Them arXiv Paper Hongyu Hè, Maria Apostolaki 7 days ago 005 Case study: proving sqrt(2) irrational with LPTP and an LLM arXiv Paper Fred Mesnard et al. Jul 23 006 Chess\_db: A framework for working with large chess game datasets arXiv Paper Nicos Angelopoulos, J. Wielemaker Jul 23 007 Explaining Weather Bulletins via ILP arXiv Paper E. Santi, A. D. Palù et al. Jul 23 008 Hybrid MKNF with Classical Negation in the Rule Component arXiv Paper A. Sheela, Christophe Rey et al. Jul 23 009 FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation arXiv Paper Ruoran Xu, Wending Gao et al. Jul 14 010 Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems arXiv Paper Yuki Nakai, Akira Terui et al. Jul 13 011 Towards Detecting Inconsistencies in End-to-end Generated TODs arXiv Paper Tiziano Labruna, Giovanni Bonetta et al. Jul 10 012 Algebraic Modelings of the Supersingular Isogeny Problem arXiv Paper Alessio Caminata, A. Sanguineti et al. Jul 6 013 ClassicLogic: A Knowledge-Driven Benchmark of Classic Puzzle Games for Evaluating Compositional Generalization arXiv Paper Mahnoor Shahid, H. Rothe Jul 6 014 Language models guide symbolic equation discovery by controlling search arXiv Paper Zikai Xie, Wenmei Li et al. Jul 5 015 MechMath Agent Team: LLM Driven Agents for Mathematical Research arXiv Paper Yi-xuan Cao, Ruichen Qiu et al. Jul 5 016 Derivative-Free Richelot Isogenies via Subresultants with Algebraic Certification arXiv Paper Hung T. Dang, Diep V. Nguyen Jul 3 017 PolicyGuard: From Organizational Policies to Neuro-SymbolicCompliance Review Engines arXiv Paper S. Malik, A. Singh et al. Jun 30 018 Towards Version-aware Operations and Transaction Memories for Multi-layer MeMo arXiv Paper Peiran Li Jun 23 019 EML Trees Are Universal Approximators arXiv Paper Joe Germany, E. Abdo et al. Jun 22 020 Interpretable Kolmogorov-Arnold Network with Feature-Isolated Temporal Attention Mechanism for Electricity Load Forecasting arXiv Paper Jinhao Li, Hao Wang Jun 22 021 SATURN: Symbolic Spatial Reasoning for Multi-Perspective Grounding arXiv Paper Danial Kamali et al. Jun 21 022 ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation arXiv Paper Pei-Cing Huang, Chienyu Liu et al. Jun 20 023 Recurrent neural networks approximate continuous functions arXiv Paper Valentin Abadie, Clemens Hutter et al. Jun 18 024 Assessing Reliability of Symbol Detection in Concept Bottleneck Models arXiv Paper Javier Fumanal-Idocin, Javier Andreu-Perez Jun 15 025 Quotient Tree Arithmetic: Deferred-Division Computation with Bounded Symbolic Depth and Cross-Subtree Cancellation arXiv Paper Gregory Magarshak Jun 15 026 Data-driven discovery of governing differential equations across physical systems arXiv Paper Siyu Lou, Hao Xu et al. Jun 8 027 Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter arXiv Paper Lucas Sheneman Jun 7 028 A Data-Free Symbolic Regression Approach for Solving Equations arXiv Paper Sergei Garmaev et al. Jun 5 029 A Finite Certificate for the Positive $n=9$ Vasc Inequality arXiv Paper Dakai Guo, Ruichen Qiu et al. Jun 4 030 Equivariant Neural Belief Propagation arXiv Paper Zehua Cheng, Wei Dai et al. Jun 4 031 Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair arXiv Paper Zehua Cheng, Wei Dai et al. Jun 3 032 In-Context Graphical Inference arXiv Paper Zehua Cheng, Wei Dai et al. Jun 3 033 AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification arXiv Paper Yan Wang, Xuguang Ai et al. Jun 2 034 Improving Evaluation of Recombination-based Cartesian Genetic Programming arXiv Paper Duy Long Tran, Anja Jankovic et al. May 27 035 Reasoning and Planning with Dynamically Changing Norms arXiv Paper Taylor Olson, Roberto Salas-Damian et al. May 26 036 Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust arXiv Paper Vishnu Asutosh Dasu, Monika Santra et al. May 25 037 Parameter-Efficient CT Reconstruction via Deep Graph Laplacian Regularization arXiv Paper Veera Varuni Radhakrishnan, Chinthaka Dinesh et al. May 25 038 The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning arXiv Paper Lucas Sheneman May 21 039 Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework arXiv Paper Chengpeng Hu, Yingqian Zhang et al. May 18 040 Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography arXiv Paper Sakura Oku, Momonari Kudo May 17 041 FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression arXiv Paper Zhimin Yu, Wangtao Lu et al. May 12 042 SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis arXiv Paper Sean Feeney, Pooja Rao et al. May 11 043 Discovery of Nonlinear Dynamics with Automated Basis Function Generation arXiv Paper Mohammad Amin Basiri, Charles Nicholson May 10 044 Discovering Ordinary Differential Equations with LLM-Based Qualitative and Quantitative Evaluation arXiv Paper Sumie Song, Bong Gyun Shin et al. May 8 045 A Foundation Model for Zero-Shot Logical Rule Induction arXiv Paper Yin Jun Phua May 6 046 Library learning with e-graphs on jazz harmony arXiv Paper Zeng Ren, Maddy Bowers et al. May 6 047 From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries arXiv Paper Karolina Gorna et al. May 5 048 The Scaling Properties of Implicit Deductive Reasoning in Transformers arXiv Paper Enrico Vompa, T. Tammet May 5 049 AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents arXiv Paper Mahnoor Shahid, H. Rothe Apr 29 050 Certified geometric robustness -- Super-DeepG arXiv Paper No'emie Cohen, Mélanie Ducoffe et al. Apr 27 051 Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity arXiv Paper Yao Wang, Zixuan Geng et al. Apr 27 052 Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression arXiv Paper Chakshu Gupta, Theodore J. LaGrow Apr 25 053 A Probabilistic Framework for Hierarchical Goal Recognition arXiv Paper Chenyuan Zhang, K. Ip et al. Apr 24 054 A general optimization solver based on OP-to-MaxSAT reduction arXiv Paper YuXin Zhao, Han Huang et al. Apr 23 055 Neuro-Symbolic ODE Discovery with Latent Grammar Flow arXiv Paper Karin L. Yu, Eleni Chatzi et al. Apr 17 056 Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model arXiv Paper Murat Moran Apr 16 057 SatIR: Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching arXiv Paper Cyrus Zhou, Yufei Jin et al. Apr 10 058 On Ambiguity: The case of fraction, its meanings and roles arXiv Paper J. Bergstra, J. V. Tucker Apr 6 059 Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic arXiv Paper K. Fushimi, Kazunobu Serizawa et al. Mar 30 060 Neuro-Symbolic Process Anomaly Detection arXiv Paper D. Gaikwad, W. M. Aalst et al. Mar 27