Imagen de Portada

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Luo, Ziyan, Si, Xujie
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science Artificial Intelligence Machine Learning Programming Languages Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
por: Shrager, Jeff
Publicado: (2026)

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

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

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

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

Analogical proportions
por: Antić, Christian
Publicado: (2020)

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

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

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

Integrating Fuzzy Logic into Deep Symbolic Regression
por: Gerdes, Wout, et al.
Publicado: (2024)

A Theoretical Review on Solving Algebra Problems
por: Yu, Xinguo, et al.
Publicado: (2024)

Learning Conjecturing from Scratch
por: Gauthier, Thibault, et al.
Publicado: (2025)

Frex: dependently-typed algebraic simplification
por: Allais, Guillaume, et al.
Publicado: (2023)

Confluence of Conditional Rewriting Modulo
por: Lucas, Salvador
Publicado: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
por: Lucas, Salvador
Publicado: (2025)

WebPie: A Tiny Slice of Dependent Typing
por: Scholliers, Christophe
Publicado: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
por: Alves, Sandra, et al.
Publicado: (2024)

Library Learning Doesn't: The Curious Case of the Single-Use "Library"
por: Berlot-Attwell, Ian, et al.
Publicado: (2024)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
por: Qureshi, Haya Majid, et al.
Publicado: (2025)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
por: Ardon, Leo, et al.
Publicado: (2024)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
por: Hersche, Michael, et al.
Publicado: (2024)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
por: Vompa, Enrico, et al.
Publicado: (2026)

Automatic Generation of Polynomial Symmetry Breaking Constraints
por: Erascu, Madalina, et al.
Publicado: (2026)

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

Boolean Matrix Logic Programming on the GPU
por: Ai, Lun
Publicado: (2024)

A general optimization solver based on OP-to-MaxSAT reduction
por: Zhao, Yuxin, et al.
Publicado: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
por: Ding, Tianyi, et al.
Publicado: (2025)

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

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
por: Kaminski, Roland, et al.
Publicado: (2024)

Power Term Polynomial Algebra for Boolean Logic
por: Sansone, Emanuele, et al.
Publicado: (2026)

Reasoning About Action and Change
por: de Saint-Cyr, Florence Dupin, et al.
Publicado: (2024)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
por: Habibi, Reza, et al.
Publicado: (2026)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
por: Desmond, Harry
Publicado: (2026)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
por: Bembenek, Aaron, et al.
Publicado: (2026)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
por: Kutsia, Temur, et al.
Publicado: (2024)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
por: Zhang, Dylan, et al.
Publicado: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
por: Chen, Michael K.
Publicado: (2025)