Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase |
|
| Author | |
| Year of Conference |
2024
|
| Conference Name |
Bridging the Gap Between AI and Reality (AISoLA 2024)
|
| Date Published |
12/2024
|
| Publisher |
Springer Nature Switzerland
|
| ISBN Number |
978-3-031-75434-0
|
| URL | |
| Google Scholar | BibTeX |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.