Feedback & Synthesis in LLM-Assisted Termination Proofs
2026 · International Conference on Interactive Theorem Proving · pp. 22:1-22:19 · 0 citations
· 44 references
Computer Science