llm-verifier-interface
Python
★ 12
updated 13d ago
Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)
No plain-English explanation yet — one is being written right now. Check back in a minute.