spicylemonade
@spicey_lemonade
A historian… in reverse| research @ValsAI |CEO @Archivara $25m | ex @ycombinator p26 | featured in @Forbes | AI research @UCBerkeley | 20
321 Following 2.9K Followers
Astra for Law shows a HUGE performance increase in our Legal Research Bench
Fable 5.1 Minecraft one-shot
As I predicted. Mythos is much better, much faster, and much cheaper than Aristotle. This is the end for specialized lean provers
