Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with automated-reasoning

A curated list of projects in awesome lists tagged with automated-reasoning .

https://github.com/sarsko/CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification

Last synced: 15 Nov 2024

https://github.com/guicho271828/latplan

LatPlan : A domain-independent, image-based classical planner

automated-reasoning deeplearning search-algorithm

Last synced: 15 Oct 2024

https://github.com/dex3r/GPT-Codemaster

Automatic programming by creating Pull Requests from Issues using LLMs

ai automated-programming automated-reasoning automation chatgpt gpt-4 gpt-api llm openai openai-api programming

Last synced: 13 Nov 2024

https://github.com/julianmendez/cel

A lightweight Description Logic reasoner for large-scale biomedical ontologies

automated-reasoning java lisp owl-api protege-plugin tu-dresden

Last synced: 27 Oct 2024

https://github.com/leoprover/scala-tptp-parser

A parser for the TPTP logic languages for automated theorem proving written in Scala

artificial-intelligence automated-reasoning logic parser scala theorem-proving tptp

Last synced: 30 Nov 2024

https://github.com/aztek/phd-thesis

Automated Theorem Proving with Extensions of First-Order Logic

automated-reasoning dissertation first-order-logic formal-methods phd-thesis theorem-proving

Last synced: 05 Dec 2024

https://github.com/srosalino/intelligent_systems_investigations

Series of 11 works, covering: State-Space Representations, Search, Adversarial Search, Logic, Automated Reasoning, Reasoning with Uncertainty and Vagueness and Machine Learning

adversarial-search artificial-intelligence automated-reasoning machine-learning reasoning-under-uncertainty state-space-representation

Last synced: 10 Nov 2024