Elliot Glazer
@ElliotGlazer
Unrestricted comprehension @PrincipiaLabs
Joined November 2024
1.1K Following 8.7K Followers
@AcerFur So this was mostly a bet on autoformalization, but a problem-solving point: I’m super bullish on models’ finitary algebra reasoning, so “parallelize the proof and fill in the holes” seems tractable to me.
Show more
