Works elsewhere under the name Wim Vanhoof
One page per author name as the sources print it. Not a Papex account.
2 works
- Case study: proving sqrt(2) irrational with LPTP and an LLM · arXiv · 23 Jul 2026
- Case study: solving P-99 with LPTP and an LLM · arXiv · 23 Jul 2026
Named here, or see a mistake? Write to privacy@papex.org.