Comment by Davidzheng

1 month 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?

0 comments