Bae's picture

4 2 2

Bae

sammiebae

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 13 days ago

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

liked a model 15 days ago

neavo/modern_bert_multilingual

new activity 19 days ago

Nanbeige/ToolMind:Will you be open sourcing the pipeline code on github?

View all activity

Organizations

None yet

upvoted a paper 13 days 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 • 148