Theodore Ehrenborg

1. A benchmark for vericoding: formally verified program synthesis
   2025/09/26 by Sergiu Bursuc, Bursuc, Sergiu, Theodore Ehrenborg +23 · 6 voices · 4 citations
   #cs.SE #cs.LG #cs.PL
2. Measuring Reward-Seeking via Contrastive Belief Updates
   2026/07/21 by Axel Højmark, Jérémy Scheurer, Evgenia Nitishinskaya +5 · 1 voice · 1 citation
   #cs.AI #cs.CL #cs.LG