AlphaGeometry Web
Invite-only · Token auth
Problem name
Mode
alphageometry (LM + DDAR)
ddar (symbolic only)
Beam size
Depth
Batch size
Workers
Problem (AlphaGeometry DSL)
a b c = triangle a b c; d = on_tline d b a c, on_tline d c a b ? perp a d b c
Solve
Output
My jobs
Log
Download
Delete