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

Organizations

None yet