Hugging Face's logo
Theodore Ehrenborg's picture

Theodore Ehrenborg

TheodoreEhrenborg
·

AI & ML interests

None yet

Recent Activity

authored a paper 17 days ago
A benchmark for vericoding: formally verified program synthesis
updated a model about 1 year ago
TheodoreEhrenborg/TinyStories-33M-Einstein
View all activity

Organizations

Beneficial AI Foundation's profile picture