Cover Image

SMLP: Symbolic Machine Learning Prover (User Manual)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brauße, Franz, Khasidashvili, Zurab, Korovin, Konstantin
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science Symbolic Computation Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
by: Li, Xiakun, et al.
Published: (2026)

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

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

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

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

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

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)

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

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

Learning Conjecturing from Scratch
by: Gauthier, Thibault, et al.
Published: (2025)

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

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

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

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

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

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

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

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

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

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

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

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

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
by: Cory-Wright, Ryan, et al.
Published: (2023)

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

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
by: Lourenço, Bruno F., et al.
Published: (2026)

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

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

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
by: So, Oswin, et al.
Published: (2026)

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

Algebraic anti-unification
by: Antić, Christian
Published: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

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

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
by: Jiang, Nan, et al.
Published: (2025)

Unsupervised Symbolic Anomaly Detection
by: Hossain, Md Maruf, et al.
Published: (2026)

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

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
by: Tian, Yuan, et al.
Published: (2025)