Hugging Face's logo
Baalateja Kataru's picture
25 126

Baalateja Kataru

bkataru
Rzane12's profile picture dvilasuero's profile picture boring-dragon's profile picture
ยท

AI & ML interests

everything

Recent Activity

upvoted a paper 2 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
liked a model 3 days ago
inclusionAI/Ring-2.5-1T
upvoted a paper 3 days ago
Code2World: A GUI World Model via Renderable Code Generation
View all activity

Organizations

None yet