Cover Image

Learning Conjecturing from Scratch

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gauthier, Thibault, Urban, Josef
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science Neural and Evolutionary Computing Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Guided Automated Reasoning: A Brief Survey
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Symbolic Regression with a Learned Concept Library
by: Grayeli, Arya, et al.
Published: (2024)

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

Solving Hard Mizar Problems with Instantiation and Strategy Invention
by: Jakubův, Jan, et al.
Published: (2024)

Enes Causal Discovery
by: Kafantaris, Alexis
Published: (2026)

Guiding Genetic Programming with Graph Neural Networks
by: Wyrwiński, Piotr, et al.
Published: (2024)

Looking Through Glass Box
by: Kafantaris, Alexis
Published: (2026)

Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery
by: Matsubara, Yoshitomo, et al.
Published: (2022)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
by: Urban, Josef
Published: (2026)

Decoupling Representation and Learning in Genetic Programming: the LaSER Approach
by: Le, Nam H., et al.
Published: (2025)

Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics
by: Hayes, Conor F., et al.
Published: (2025)

Polyra Swarms: A Shape-Based Approach to Machine Learning
by: Klüttermann, Simon, et al.
Published: (2025)

High-resolution spatial memory requires grid-cell-like neural codes
by: Cotteret, Madison, et al.
Published: (2025)

Improving Evaluation of Recombination-based Cartesian Genetic Programming
by: Tran, Duy Long, et al.
Published: (2026)

Discovering Ordinary Differential Equations with LLM-Based Qualitative and Quantitative Evaluation
by: Song, Sum Kyun, et al.
Published: (2026)

Artificial Intelligence Software Structured to Simulate Human Working Memory, Mental Imagery, and Mental Continuity
by: Reser, Jared Edward
Published: (2022)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
by: Brown, Chad E., et al.
Published: (2026)

Symbolic Regression with Multimodal Large Language Models and Kolmogorov Arnold Networks
by: Harvey, Thomas R., et al.
Published: (2025)

TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming
by: Kalkreuth, Roman, et al.
Published: (2025)

Evolutionary Causal Discovery with Relative Impact Stratification for Interpretable Data Analysis
by: Deng, Ou, et al.
Published: (2024)

Machine Learning as Iterated Belief Change a la Darwiche and Pearl
by: Aravanis, Theofanis
Published: (2025)

Attractor FCM
by: Kafantaris, Alexis
Published: (2026)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
by: Ganguly, Debargha, et al.
Published: (2024)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
by: Tripathi, Satvik
Published: (2025)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
by: Bavikadi, Divyagna, et al.
Published: (2025)

Analogical proportions
by: Antić, Christian
Published: (2020)

VeriFlow: Modeling Distributions for Neural Network Verification
by: Zaid, Faried Abu, et al.
Published: (2024)

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming
by: de Vries, Sigur, et al.
Published: (2026)

From Minimal Existence to Human Definition: The CES-IMU-HSG Theoretical Framework
by: Itoh, Kei
Published: (2025)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
by: Luo, Ziyan, et al.
Published: (2023)

SMLP: Symbolic Machine Learning Prover
by: Brauße, Franz, et al.
Published: (2024)

SMLP: Symbolic Machine Learning Prover (User Manual)
by: Brauße, Franz, et al.
Published: (2024)

Memory as Resonance: A Biomimetic Architecture for Infinite Context Memory on Ergodic Phonetic Manifolds
by: Houichime, Tarik, et al.
Published: (2025)

Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
by: Smolensky, Paul, et al.
Published: (2024)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
by: Shahid, Mahnoor, et al.
Published: (2026)

Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs
by: Bournez, Olivier
Published: (2026)

On the Expressivity of Recurrent Neural Cascades with Identity
by: Knorozova, Nadezda Alexandrovna, et al.
Published: (2024)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
by: Işık, İlker, et al.
Published: (2026)

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