George Tsoukalas

@gtsoukal

PhD student at UT Austin interested in automatic theorem proving.

Joined September 2022

268Following

261Followers

George Tsoukalas@gtsoukal · Jun 8

I’m in Cambridge this week for Big Proof 2025 - dm me if you’d like to chat about ai for math!

638

George Tsoukalas Retweeted

Amitayush Thakur@AmitayushThakur · May 25

1/🧵Excited to share CLEVER — a new benchmark for end-to-end verified code generation in Lean. Can we go from natural language to a formally verified Lean program? CLEVER puts this to the test. 📄 arxiv.org/abs/2505.13938 💻 github.com/trishullab/cle…

15.0K