80 Open source projects that are alternatives of or similar to Leo-III

A Proof-oriented Programming Language

Homepage Theorem Proving in Lean FAQ

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

No description or website provided.

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Jupyter kernel for Coq

Public code developed during my MSc study at University of Bologna

GAPT: General Architecture for Proof Theory

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

An SMT Solver for string constraints

Higher Order Prolog with Extensional Semantics

Monorepo for the client, server, etc. of the Debate Map website.

Applying Common-Sense Reasoning to Multi-Modal Dense Video Captioning and Video Question Answering | Python3 | PyTorch | CNNs | Causality | Reasoning | LSTMs | Transformers | Multi-Head Self Attention | Published in IEEE Winter Conference on Applications of Computer Vision (WACV) 2021

OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data

Official implementation of Neural Bellman-Ford Networks (NeurIPS 2021)

ReaSCAN is a synthetic navigation task that requires models to reason about surroundings over syntactically difficult languages.

This repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.

Multi-Hop Logical Reasoning in Knowledge Graphs