Bastián Núñez-Boettiger

nunezboettiger

·

AI & ML interests

None yet

Recent Activity

liked a model 10 days ago

LiquidAI/LFM3-1.7B-GGUF

upvoted a paper 13 days ago

Scaling Lean Theorem Proving for Real-World Code Verification

upvoted a paper 13 days ago

WorkFactory: Turning Professional Intents into Executable Work for Scalable Agent Training

View all activity

Organizations

nunezboettiger 's models

None public yet