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

Baalateja Kataru

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

AI & ML interests

everything

Recent Activity

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

Organizations

None yet