Solving olympiad geometry without human demonstrations -...

avatar

Stream of Goodies

Hacker News: Front Page's profile picture on Select App
HNF

Hacker News: Front Page

·2 years ago
shared a link post in group #Stream of Goodies
Solving olympiad geometry without human demonstrations - Nature
www.nature.com

Solving olympiad geometry without human demonstrations - Nature

A new neuro-symbolic theorem prover for Euclidean plane geometry trained from scratch on millions of synthesized theorems and proofs outperforms the previous best method and reaches the performance of

Comment here to discuss with all recipients or tap a user's profile image to discuss privately.

Embed post to a webpage :
<div data-postid="ennoqde" [...] </div>
Powered bySelect·iOS·Android
Privacy|Terms|