Theorem Proving at NeurIPS 2025

Stream: general

[Alexander Pluska]

Hi! I'm a final year PhD student working on graph learning for (FOL) theorem proving and currently at NeurIPS in San Diego.

If you're interested in discussing anything related to theorem proving over lunch/dinner, or have pointers to relevant talks/posters I might have missed, please feel free to comment under this thread, or shoot me a DM!