4 ms·
Weird. I can't find the sentence you are quoting in the paper.
by dr_kiszonka 3y ago
Weird. I can't find the sentence you are quoting in the paper.
- 1024core 3y agoPaper: https://www.nature.com/articles/s41586-023-06747-5 https://www.nature.com/articles/s41586-023-06747-5 Section title: Geometry theorem prover baselines Second paragraph under that. 3rd sentence from the end of the para.
- dr_kiszonka 3y agoThank you.