truth-maintenance-system

Here is 1 public repository matching this topic...

aindilis / antilint

Negative specification for LLM-generated Debian packaging: a SWI-Prolog judge that catches the shortcuts a generator takes to pass "it builds and lintian is quiet."

debian static-analysis prolog code-generation swi-prolog debian-packaging lintian llm llm-evaluation frdcsa reward-hacking truth-maintenance-system

Updated Sep 27, 2026
Prolog

Add this topic to your repo

To associate your repository with the truth-maintenance-system topic, visit your repo's landing page and select "manage topics."

Learn more