CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
LatPlan : A domain-independent, image-based classical planner
Automatic programming by creating Pull Requests from Issues using LLMs
Logic Circuits from the Juice library
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
A Machine-to-Machine Interaction System for Lean 4.
Representation learning for ontologies and their annotations
MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
A lightweight Description Logic reasoner for large-scale biomedical ontologies
Distributed constraint satisfaction with recursive message-passing agents
Reasoner for the description logic EL+.
Imandra Modelling Language CME MDP Model
Julia wrapper around SWI Prolog
A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks
Generating graph structures from OWL ontologies
Bayesian Ontology Reasoner
Imandra Protocol Language example models
Explanations in Multi-Model Planning
Ontology repository that provides Reasoning as as Service
A Platform for Automated Analysis of Traceability (WP3)
Add a description, image, and links to the automated-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the automated-reasoning topic, visit your repo's landing page and select "manage topics."