large language models
4 stories and discussions about large language models, aggregated from every source we track.
1.
This is a book about large language models. As indicated by the title, it primarily focuses on foundational concepts rather than comprehensive coverage of all cutting-edge technologies. The book is structured into six…
2.
Autoformalization is the process of automatically translating from natural language mathematics to formal specifications and proofs. A successful autoformalization system could advance the fields of formal…
3.
I don't think that AI models (by which I mean: large language models) are over-hyped. In this post I will list 50 ways I've used them.
4.
The first time AI makes me tear up I'm biking down a sunny Brooklyn street.