wut?

AI & ML interests

None defined yet.

Recent Activity

lewtun  authored a paper about 1 month ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

betodepaola  new activity about 2 months ago

meta-llama/Llama-Guard-4-12B:Removing new lines

betodepaola  new activity about 2 months ago

meta-llama/Llama-Guard-4-12B:Updating chat template

View all activity

Team members 202