mastodon — José A. Alonso — 6 Sep 2026
Verification, formalisation and canonisation: formal theorem proving in the age of AI. ~ Sidharth Hariharan. https:// th…
#ai-mathematics #formal-verification #theorem-proving
Verification, formalisation and canonisation: formal theorem proving in the age of AI. ~ Sidharth Hariharan. https:// thefundamentaltheor3m.github.i o/beamers/tifr-2026/slides.pdf # AI4Math # ITP