Exploring the Use of LLMs for Formal Theorem Proving in Waterproof

Mikołaj Pujanek

Mathematics and Computer Science

Student thesis: Bachelor

Date of Award	Jul 2025
Original language	English
Supervisor	Jim W. Portegies (Supervisor 1)

Cite this

Standard

Documents

pdf
File: application/pdf, 807 KB
Type: Thesis

'