LLM-Generated Prolog Predicates with Embedded Justification Chains - Academic Research Paper (100+ pages, 97.5% correctness)
ECHIDNA — Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. Neurosymbolic theorem proving with 30 prover backends
A robust framework for formal verification of multi-agent systems powered by LLMs, ensuring safe and reliable decision-making. Integrates machine learning with formal methods to validate agent behaviors, safety constraints, and real-world simulations in critical domains like autonomous driving and robotics.
Python Package for solving sudoku with SAT and SMT.
An MLP-based incomplete heuristic model to predict functional counterexamples in zero-equivalent straight-line programs, bypassing the state-space explosion of formal SMT solvers.
Auto-active interface for Lean 4 toward first-class higher-order support
Add a description, image, and links to the smt-solvers topic page so that developers can more easily learn about it.
To associate your repository with the smt-solvers topic, visit your repo's landing page and select "manage topics."