3 ms·
The AlphaZero for LLMs+search is GPT-f, which most recently did https://openai.com/blog/formal-math/ https://openai.com/blog/formal-math/
by gwern 4y ago
The AlphaZero for LLMs+search is GPT-f, which most recently did https://openai.com/blog/formal-math/ https://openai.com/blog/formal-math/