Bae's picture

4 2 2

Bae

sammiebae

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 11 days ago

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

liked a model 13 days ago

neavo/modern_bert_multilingual

new activity 17 days ago

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

View all activity

Organizations

None yet

liked a model 13 days ago

neavo/modern_bert_multilingual

Fill-Mask • 0.2B • Updated Feb 18, 2025 • 141 • 29

liked a dataset 4 months ago

newfacade/LeetCodeDataset

Viewer • Updated May 29, 2025 • 2.87k • 1.63k • 55