4 ms·
The text is still there. Paper: https://www.nature.com/articles/s41586-023-06747-5 https://www.nature.com/articles/s41586-023-06747-5 Section title: Geometry
by 1024core 3y ago
The text is still there.
Paper: 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.