Bae's picture

Bae

sammiebae

·

AI & ML interests

None yet

Recent Activity

liked a Space 21 days ago

CohereLabs/cohere-transcribe-03-2026

liked a dataset 25 days ago

OpenSQZ/AutoMathText-V2

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

upvoted a paper 3 months ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22, 2025 • 22

upvoted a collection about 1 year ago

Zeroshot Classifiers

These are my current best zeroshot classifiers. Some of my older models are downloaded more often, but the models in this collection are newer/better. • 12 items • Updated Jan 6, 2025 • 151