llm-verifier-interface. Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)

github.com/namin/llm-verifier-interface
by @namin

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.