Proving theorems using LLMs

24 Nov 2026, 17:10
35m

Speaker

Sven Krippendorf (University of Cambridge)

Presentation materials

There are no materials yet.