Commitment tracking for LLM agents — a normative overlay that gives long-running agents a scoreboard of their own commitments, not just a memory of what happened.
-
Updated
Jul 21, 2026 - Python
Commitment tracking for LLM agents — a normative overlay that gives long-running agents a scoreboard of their own commitments, not just a memory of what happened.
pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025
Add a description, image, and links to the inferentialism topic page so that developers can more easily learn about it.
To associate your repository with the inferentialism topic, visit your repo's landing page and select "manage topics."