Julia Kempe(@KempeLab):Check out our new paper on getting a SOTA harness for Automated Theorem Proving! The "bitterest" part of our lesson, perhaps, was that we wanted to demonstrate benefits of asymmetric self-play for harnesses, and each time we could improve the baseline harness to be better. This is how we ended up with h1, a great simple baseline harness, as our bitter lesson :)

Julia Kempe

@KempeLab

Silver Professor @ NYU Courant & CDS AmiLabs Research in Machine Learning & AI, ex Director @ MetaFAIR, past in Quantum Comp. & Finance Posts my own.

Joined April 2024

285 Following 3.9K Followers

Julia Kempe@KempeLab

2026.10.12 16:13

Check out our new paper on getting a SOTA harness for Automated Theorem Proving! The "bitterest" part of our lesson, perhaps, was that we wanted to demonstrate benefits of asymmetric self-play for harnesses, and each time we could improve the baseline harness to be better. This is how we ended up with h1, a great simple baseline harness, as our bitter lesson :)