291 Went
Private Event
Hang w/ Theorem @ NeurIPS 2025
Hosted by Theorem & 3 others
About Event
Let's go bouldering after a week of conference-ing! If you don't want to climb, you can add to the vibes by making fresh RL jokes.
Theorem is an AI and programming languages research lab. Superhuman software engineering is just beginning, and we're excited to build a community of researchers, engineers, and founders geared at solving the hard parts of correctness, understanding, and security.
The event is at an outdoor climbing gym, so please bring a jacket. We'll be serving dinner and drinks (but only once you're done climbing).
291 Went