Yury Panikov
panikov
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
11 days ago
Efficient Agents: Building Effective Agents While Reducing Cost
commented on
a paper
15 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data
Synthesis and Self-Correction
Organizations
None yet