Bae's picture

Bae

sammiebae

·

AI & ML interests

None yet

Recent Activity

liked a Space 4 days ago

CohereLabs/cohere-transcribe-03-2026

liked a dataset 8 days ago

OpenSQZ/AutoMathText-V2

upvoted a paper 2 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

sammiebae 's datasets

None public yet