artninja1988

Posts

• The abc conjecture almost always – autoformalized
  by artninja1988on 6/12/2025, 7:04 PMwith 0 comments
• Trinity: An autoformalization system for verified superintelligence
  by artninja1988on 6/12/2025, 7:02 PMwith 0 comments
• Opportunity Costs of State and Local AI Regulation
  by artninja1988on 6/10/2025, 12:46 PMwith 0 comments
• Towards an Even Larger Video Game Dataset: Inverse Dynamics Models for Bootstrap
  by artninja1988on 5/30/2025, 8:25 PMwith 0 comments
• EA Cancels Black Panther Game, Closes Cliffhanger Games
  by artninja1988on 5/28/2025, 8:49 PMwith 0 comments
• LipSync Enters Administration
  by artninja1988on 5/24/2025, 10:32 AMwith 0 comments
• Questioning Representational Optimism in Deep Learning
  by artninja1988on 5/20/2025, 11:24 AMwith 0 comments
• Trump Signs the Take It Down Act into Law
  by artninja1988on 5/19/2025, 7:49 PMwith 0 comments
• Absolute Zero: Reinforced Self-Play Reasoning with Zero Data
  by artninja1988on 5/10/2025, 4:06 PMwith 0 comments
• Analyzing o3 and o4-mini with ARC-AGI
  by artninja1988on 4/22/2025, 7:22 PMwith 1 comments