Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin +10
We present and test the largest benchmark for vericoding, LLM-generation of formally verified code from formal specifications - in contrast to vibe coding, which generates potentia…