Alex Krentsel
@AlexKrentsel
Autonomous Systems PhD @Berkeley_EECS, Sr Researcher @GoogleResearch.
systems guy working on harness-layer self-improvement
Joined March 2022
251 Following 4.2K Followers
super excited that our paper on Inductive Deductive Synthesis just got accepted to NeurIPS as 🏅Oral🏅 (top 0.34%)
in the paper, we show how given a formal Lean/Rocq spec, we can incrementally co-synthesize *proof* with the *code*, beating direct code synth
link &takeaways⬇️🧵
Show more
