arxiv:2509.22908
Theodore Ehrenborg
TheodoreEhrenborg
·
AI & ML interests
None yet
Recent Activity
authored
a paper
12 days ago
A benchmark for vericoding: formally verified program synthesis
updated
a model
about 1 year ago
TheodoreEhrenborg/TinyStories-33M-Einstein