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⬇️🧵
もっと見る
