Skip to content
#

reasoning-engine-proof-generation

Star

Here is 1 public repository matching this topic...

Jeevan-04 / epistemic-reasoning-core

Star 4

Experimental symbolic reasoning infrastructure focused on transparent defeasible reasoning, replayable proof traces, and split evaluation of parsing, grounding, and reasoning failures.

formal-methods epistemic-logic explainable-ai symbolic-ai logical-reasoning knowledge-representation-and-reasoning rule-based-systems defeasible-reasoning grounded-reasoning argumentation-framework reasoning-engine-proof-generation
  • Updated May 27, 2026
  • Python

Improve this page

Add a description, image, and links to the reasoning-engine-proof-generation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the reasoning-engine-proof-generation topic, visit your repo's landing page and select "manage topics."

Learn more