functional verification
1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Dec 23, 2024 by Dylan Patel · across every show →
Everything said about functional verification, oldest first
Dec 23, 2024
Patel: Synthetic training only works in functionally verifiable domains like math
“We can't teach it what good art is. Because we have no way to functionally prove what good art is. We can teach it to write really good software. We can teach it how to do mathematical proofs. We can teach it how to engineer systems, because there are, while t…”