Supervised Data
topic on 1 show · 1 statements across 1 episodes
1 statements about Supervised Data, every show
Sartran: Translating all known human proofs would save years of compute
“With more supervised data, we can avoid the exploration problem, and we could translate all the proofs that are known to man, and that certainly would make the agent much better, and that would save us years of compute for sure.”