supervised data
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Nov 14, 2024 by Laurent Sartran · across every show →
Everything said about supervised data, oldest first
Nov 14, 2024 bullish
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.”