LM Based Stack
topic on 1 show · 1 statements across 1 episodes
the Y Combinator Startup Podcast
1 statements about LM Based Stack, every show
Chollet: Current LLM Stack Can Fully Automate Any Formally Verifiable Domain
“And I think right now we're in this situation where any problem where the solutions you've proposed can be formally verified, and you can actually trust the reward signal. It's not just some guess made by a model. Any domain like this can be fully automated wi…”