Shortening proof paths with super moves

Sergey Gukov describes RL techniques that compress long proof sequences into super moves, aiding exploration of deep conjectures.

Transcript

Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!