Featured in
New York Tech Week
AI, Systems & Formal Methods Reading Group
Hosted by Alex Kouzemtchenko
About Event
If you're interested in reading papers about the intersection of AI, Systems & Formal methods this group is for you.
The first papers we want to read are:
AutoVerus: Automated Proof Generation for Rust Code
Automated Proof Generation For Rust Code Via Self-evolution
There is no expectation of having read the papers beforehand, but the goal is to start reading the papers at 6pm and then discuss them.
Also, if you have expertise at this intersection, we're hiring at Espresso AI, email me at [email protected] :)