alphageometry icon indicating copy to clipboard operation
alphageometry copied to clipboard

Published 20 hours ago • verified publisher icon google-deepmind

what symbolic engine is AlphaGeometry using?

Open tangzhy opened this issue 1 year ago • 2 comments

tangzhy avatar Jan 20 '24 06:01 tangzhy

DDAR

jackliugithub avatar Jan 20 '24 21:01 jackliugithub

Deductive Database + Algebraic Reasoning

Respho avatar Jan 21 '24 17:01 Respho