artninja1988

The abc conjecture almost always – autoformalized

1 point by artninja1988 3 weeks ago | 0 comments

Trinity: An autoformalization system for verified superintelligence

3 points by artninja1988 3 weeks ago | 0 comments

Opportunity Costs of State and Local AI Regulation

2 points by artninja1988 3 weeks ago | 0 comments

Towards an Even Larger Video Game Dataset: Inverse Dynamics Models for Bootstrap

3 points by artninja1988 1 month ago | 0 comments

EA Cancels Black Panther Game, Closes Cliffhanger Games

3 points by artninja1988 1 month ago | 0 comments

LipSync Enters Administration

1 point by artninja1988 1 month ago | 0 comments

Questioning Representational Optimism in Deep Learning

1 point by artninja1988 1 month ago | 0 comments

Trump Signs the Take It Down Act into Law

10 points by artninja1988 1 month ago | 0 comments

Absolute Zero: Reinforced Self-Play Reasoning with Zero Data

3 points by artninja1988 1 month ago | 0 comments

Analyzing o3 and o4-mini with ARC-AGI

6 points by artninja1988 2 months ago | 1 comment