3 ms·
yes it is very impressive, especially autoformalization of problems written in natural language and also proof search of theorems
by nnarek 2y ago
yes it is very impressive, especially autoformalization of problems written in natural language and also proof search of theorems