3 ms·
how strong is your internal informal LLM at theorem-proving before the formalization stage? or it's combined in a way so that is not measurable?
by Davidzheng 10mo ago
how strong is your internal informal LLM at theorem-proving before the formalization stage? or it's combined in a way so that is not measurable?