JGEX

The original way of prescribing problems to AlphaGeometry/Newclid is through the JGEX language. See the JGEX tutorial notebook for a concrete example.

Contents:

• JGEX setup
  • Writing a new problem
  • Ensuring the problem can be built
• JGEX definitions
  • Legacy definitions
  • New Definitions
• JGEX problems datasets
  • imo_ag_30
  • jgex_ag_231
  • new_benchmark_50
  • examples