Baalateja Kataru's picture

25 127

Baalateja Kataru

bkataru

·

AI & ML interests

everything

Recent Activity

liked a model 2 days ago

Shaligram-Dewangan/Dhi-5B-Base

upvoted a paper 6 days ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

liked a model 7 days ago

inclusionAI/Ring-2.5-1T

View all activity

Organizations

None yet

bkataru 's datasets

None public yet

bkataru (Baalateja Kataru)

Baalateja Kataru's picture

25 127

Baalateja Kataru

bkataru

·

AI & ML interests

everything

Recent Activity

liked a model 2 days ago

Shaligram-Dewangan/Dhi-5B-Base

upvoted a paper 6 days ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

liked a model 7 days ago

inclusionAI/Ring-2.5-1T

View all activity

Organizations

None yet

bkataru 's datasets

None public yet