taesiri PRO
taesiri
AI & ML interests
AGI ... one linear layer at a time
Recent Activity
updated a dataset about 4 hours ago
taesiri/ArXivSignals published a dataset about 4 hours ago
taesiri/ArXivSignals upvoted a paper about 18 hours ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling