Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase.

Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander

Browse the full VECoS paper archive.