Catalin Hanga
catalin-hanga
AI & ML interests
None yet
Recent Activity
new activity
4 days ago
lm-provers/QED-Nano:Formal proofs
new activity
3 months ago
openai/gpt-oss-120b:vllm offline inference issue
upvoted
an
article
8 months ago
Explore, Build, and Innovate AI Reasoning with NVIDIA’s Open Models and Recipes
Organizations
None yet