Buchumschlag

Learning Guided Automated Reasoning: A Brief Survey

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Blaauwbroek, Lasse, Cerna, David, Gauthier, Thibault, Jakubův, Jan, Kaliszyk, Cezary, Suda, Martin, Urban, Josef
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Machine Learning Logic in Computer Science Neural and Evolutionary Computing Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Learning Conjecturing from Scratch
von: Gauthier, Thibault, et al.
Veröffentlicht: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
von: Brown, Chad E., et al.
Veröffentlicht: (2026)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming
von: de Vries, Sigur, et al.
Veröffentlicht: (2026)

Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics
von: Hayes, Conor F., et al.
Veröffentlicht: (2025)

Polyra Swarms: A Shape-Based Approach to Machine Learning
von: Klüttermann, Simon, et al.
Veröffentlicht: (2025)

Decoupling Representation and Learning in Genetic Programming: the LaSER Approach
von: Le, Nam H., et al.
Veröffentlicht: (2025)

High-resolution spatial memory requires grid-cell-like neural codes
von: Cotteret, Madison, et al.
Veröffentlicht: (2025)

Symbolic Regression with Multimodal Large Language Models and Kolmogorov Arnold Networks
von: Harvey, Thomas R., et al.
Veröffentlicht: (2025)

Evolutionary Causal Discovery with Relative Impact Stratification for Interpretable Data Analysis
von: Deng, Ou, et al.
Veröffentlicht: (2024)

A Remedy to Compute-in-Memory with Dynamic Random Access Memory: 1FeFET-1C Technology for Neuro-Symbolic AI
von: Yin, Xunzhao, et al.
Veröffentlicht: (2024)

TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming
von: Kalkreuth, Roman, et al.
Veröffentlicht: (2025)

Improving Evaluation of Recombination-based Cartesian Genetic Programming
von: Tran, Duy Long, et al.
Veröffentlicht: (2026)

Guiding Genetic Programming with Graph Neural Networks
von: Wyrwiński, Piotr, et al.
Veröffentlicht: (2024)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
von: Urban, Josef
Veröffentlicht: (2026)

Symbolic Regression with a Learned Concept Library
von: Grayeli, Arya, et al.
Veröffentlicht: (2024)

X-KAN: Optimizing Local Kolmogorov-Arnold Networks via Evolutionary Rule-Based Machine Learning
von: Shiraishi, Hiroki, et al.
Veröffentlicht: (2025)

Enes Causal Discovery
von: Kafantaris, Alexis
Veröffentlicht: (2026)

Looking Through Glass Box
von: Kafantaris, Alexis
Veröffentlicht: (2026)

Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery
von: Matsubara, Yoshitomo, et al.
Veröffentlicht: (2022)

Hammering Higher Order Set Theory
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
von: Boniol, Martin, et al.
Veröffentlicht: (2026)

Discovering Ordinary Differential Equations with LLM-Based Qualitative and Quantitative Evaluation
von: Song, Sum Kyun, et al.
Veröffentlicht: (2026)

Artificial Intelligence Software Structured to Simulate Human Working Memory, Mental Imagery, and Mental Continuity
von: Reser, Jared Edward
Veröffentlicht: (2022)

Memory as Resonance: A Biomimetic Architecture for Infinite Context Memory on Ergodic Phonetic Manifolds
von: Houichime, Tarik, et al.
Veröffentlicht: (2025)

Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
von: Smolensky, Paul, et al.
Veröffentlicht: (2024)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
von: Manjrekar, Mayank
Veröffentlicht: (2025)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Payment Channels with Proofs
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Rings with common division, common meadows and their conditional equational theories
von: Bergstra, Jan A, et al.
Veröffentlicht: (2024)

Automated Strategy Invention for Confluence of Term Rewrite Systems
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

Bio-inspired AI: Integrating Biological Complexity into Artificial Intelligence
von: Dehghani, Nima, et al.
Veröffentlicht: (2024)

SCL(FOL) Revisited
von: Bromberger, Martin, et al.
Veröffentlicht: (2023)

From Minimal Existence to Human Definition: The CES-IMU-HSG Theoretical Framework
von: Itoh, Kei
Veröffentlicht: (2025)

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
von: Amador, Ivo, et al.
Veröffentlicht: (2025)

On Ambiguity: The case of fraction, its meanings and roles
von: Bergstra, Jan A, et al.
Veröffentlicht: (2026)

Solving unification in the description logic $\mathcal{FL}_\bot$
von: Morawska, Barbara, et al.
Veröffentlicht: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
von: Desmond, Harry
Veröffentlicht: (2026)

One-Parametric Presburger Arithmetic has Quantifier Elimination
von: Mansutti, Alessio, et al.
Veröffentlicht: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
von: Kop, Cynthia, et al.
Veröffentlicht: (2025)