Tutorial: Abstraction & Reasoning in AI systems: Modern P...

Stream: Machine Learning for Theorem Proving

[Jason Rute]

This looks very interesting. I hope to find time to watch all the videos and talk about them here. https://nips.cc/Conferences/2020/Schedule?showEvent=16644

[Kevin Lacker]

yep, hopefully the szegedy talk has interesting stuff about HOList