autoformalization
also referred to as: auto-formalization
2 statements across 2 episodes · 0 bullish · 0 bearish · 2 people on the record · first statement Nov 11, 2024 by Stanislas Polu · across every show →
Everything said about autoformalization, oldest first
Nov 11, 2024 neutral
Polu: DeepMind IMO breakthrough relied on scaling RL and autoformalization
“I think the DeepMind team just did a good job of scaling. I think there's nothing too magical in their approach, even if it hasn't been published as a Dan Silver talk from seven days ago, where it goes a little bit into more details. It feels like there's noth…”