alphageometry

alphageometry copied to clipboard

Tranformation from geogebra to the geometric Language

2

The geometric language is a real mess. Just a suggestion. Can someone code a geogebra code or chatgpt so thst you can tranform normal language or geogebra into the geometry...

Noxlgoldi

Does the model give wrong results?

1

There are some ai models that give wrong results (chatgpt) so does alphageometry give wrong results.

Noxlgoldi

maybe a wrong rule?

3

the programm said, that in this case angle JIH = angle JKH

Noxlgoldi

formating -> formatting

eltociear

- [ ]

Autobot37

In the AlphaGeometry Nature paper, the authors use up to 250 CPU workers to run AlphaGeometry. However, when I run AlphaGeometry, only one thread is used. How can I use...

a-fellow-human

check cyclic error

2

I tried with translated_imo_2008_p1a in imo_ag_30.txt and get error: numericals.py", line 705, in check_cyclic (a, b, c), *ps = points TypeError: cannot unpack non-iterable Point object How to fix it?

asyvn

ModuleNotFoundError: No module named 'transformer' is reported

8

ModuleNotFoundError: No module named 'transformer' is reported. I reinstalled or upgraded transformers. But it keeps showing up this error: from transformer import decoder_stack ModuleNotFoundError: No module named 'transformer'

pshi007

Recently, I want to test alphageometry could solve a probelm in USA TSTST 2016, it can be translated into input as: ``` a b c = triangle a b c;...

Landau1994

TESTING OF ALPHAGEOMETRY

29

Have anyone been able to successfully run all the tests for alphageometry successfully. please if you have can you tell us what you did to pass all the tests. Also,...

Ehisnet