Hugging Face's logo
Bae's picture
4 2 4

Bae

sammiebae
·

AI & ML interests

None yet

Recent Activity

liked a Space about 2 months ago
CohereLabs/cohere-transcribe-03-2026
liked a dataset about 2 months ago
OpenSQZ/AutoMathText-V2
upvoted a paper 4 months ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
View all activity

Organizations

None yet