search

google-deepmind / alphageometry

Apache License 2.0
4.12k stars 463 forks source link

what symbolic engine is AlphaGeometry using? #24

Open tangzhy opened 9 months ago

jackliugithub commented 8 months ago

DDAR

Respho commented 8 months ago

Deductive Database + Algebraic Reasoning