arxiv:2509.22908
Theodore Ehrenborg
TheodoreEhrenborg
·
AI & ML interests
None yet
Recent Activity
updated
a model
28 minutes ago
TheodoreEhrenborg/pleask_pjr_d16384_bpen-learn_pre-3ep5_l0-1p0_dag-1ep2
published
a model
28 minutes ago
TheodoreEhrenborg/pleask_pjr_d16384_bpen-learn_pre-3ep5_l0-1p0_dag-1ep2
authored
a paper
3 months ago
A benchmark for vericoding: formally verified program synthesis
Organizations
