ebproof extended
-
Updated
May 24, 2026 - TeX
#
proof-trees
Here are 5 public repositories matching this topic...
HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White
-
Updated
Feb 7, 2017 - C
A self-distilling neuro-symbolic cascade that amortises LLM cost across knowledge-graph QA and regulatory-compliance checking, with auditable Datalog proof trees.
datalog knowledge-graph compliance proof-trees kgqa neuro-symbolic llm auditable-ai llm-cascade rule-distillation cost-amortization
-
Updated
Jun 18, 2026 - Python
BGU PPL Course Assignment 5 - Lazy lists, CPS, introduction to logic programming in Prolog and proof trees
-
Updated
Jul 21, 2021 - Racket
A verifier-anchored self-distilling neuro-symbolic cascade: a cheap, teacher-independent correctness verifier gates and corrects a frontier LLM before its answers distil into auditable, type-checked Datalog rules with proof trees.
datalog knowledge-distillation proof-trees verifier neuro-symbolic llm auditable-ai llm-cascade cost-amortization
-
Updated
Jun 18, 2026 - Python
Improve this page
Add a description, image, and links to the proof-trees topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-trees topic, visit your repo's landing page and select "manage topics."