Ihaxnylvu99k's picture

Ihaxnylvu99k

ihaxnylvu99k

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

liked a model 3 days ago

doma-dev/invert-polarity-84ae887e-17cc-4957-ba7c-cc9572380d01

upvoted a paper 4 days ago

Anti-Self-Distillation for Reasoning RL via Pointwise Mutual Information

View all activity

Organizations

None yet

ihaxnylvu99k 's models

None public yet