I trained neural nets to do forcing and symmetric extensions

Jun 01 2023, 14:24

So, I spent the last year training a bunch of neural nets how to do forcing, with and without choice, how to work with symmetric extensions, and how to force over symmetric extensions. It was pretty damn good.

If it wasn't clear already, I gave a year-long course here in Leeds on these topics. You can find the notes on the Papers page.