I trained neural nets on large cardinal axioms

May 14 2025, 23:48

I spent the past few months training a few neural nets on large cardinal axioms and related results. I've put the notes in the Papers page.

More seriously, of course, I gave a course on large cardinal axioms during the spring semester. It wasn't meant to be particularly deep, and I am sure that other resources will do the material justice, but I figured it's worth putting this up there.