Bae's picture

4 2 2

Bae

sammiebae

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 5 days ago

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

liked a model 7 days ago

neavo/modern_bert_multilingual

new activity 11 days ago

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

View all activity

Organizations

None yet

authored a paper 10 months ago

Command A: An Enterprise-Ready Large Language Model

Paper • 2504.00698 • Published Apr 1, 2025 • 29