Talia Ringer
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Correctly compiling proofs about programs without proving compilers correct | 2026-02-10 | Paper |
| Proof repair infrastructure for supervised models: building a large proof repair dataset | 2024-11-26 | Paper |
| Ornaments for Proof Reuse in Coq | 2023-02-03 | Paper |
Research outcomes over time
This page was built for person: Talia Ringer
