Elliot Glazer
@ElliotGlazer
Unrestricted comprehension @PrincipiaLabs
参加 November 2024
1.1K フォロー中 8.7K ファン
@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.
もっと見る
