Feedback & Synthesis in LLM-Assisted Termination Proofs.

Zeke Medley, Panagiotis Manolios

Browse the full ITP paper archive.