Building a Benchmark for LLM-assisted Formal Verification
| Vortragende(r) | Niklas Hermerding | |
|---|---|---|
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Dominik Fuchß | |
| Termin | Fr 30. Oktober 2026, 14:00 (Raum 348 (Gebäude 50.34)) | |
| Vortragssprache | Englisch | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | Kurzfassung | |