Ausschreibungen/Webseite/ArDoCo
< Ausschreibungen | Webseite
Bachelor’s Theses
| Topic | Supervisors |
|---|---|
| Building a Benchmark for LLM-assisted Formal Verification | Dominik Fuchß, Tobias Hey |
Master’s Theses
| Topic | Supervisors |
|---|---|
| Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering | Tobias Hey, Vincenzo Scotti |
| Utilizing Context to Improve LLM-assisted Formal Verification | Tobias Hey, Tianhai Liu |