Alex Krentsel
@AlexKrentsel
Autonomous Systems PhD @Berkeley_EECS, Sr Researcher @GoogleResearch.
systems guy working on harness-layer self-improvement
가입 March 2022
251 팔로잉 중 4.2K 팬
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⬇️🧵
더 보기
