Wim Vanhoof
Wim Vanhoof
Affiliation: Université de Namur
Pages in this Program
Case study: proving sqrt(2) irrational with LPTP and an LLM
Case study: solving P-99 with LPTP and an LLM
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑