Back to Software and Computational Systems Lab at LMU Munich
GSoC 2025

Verifier Selection using LLMs

Project details

Contributor

Patrik Felbinger

Mentors

Thomas Lemberger, Marian Lingsch-Rosenfeld

Technologies

Not listed in the archive