alphageometry

alphageometry copied to clipboard

Whats 5 plus 5?

1

Alanbgarcia

failed test case?

1

I tried this test case which i can manually verify it's valid: ```a b c = triangle12 a b c; d e f g = centroid d e f g...

shenglih

Help me with set up common flags

5

Hi can anyone help me with this. I don't know how to set up the common flags. do we paste it directly to the terminal or something else? (i am...

cutepiggy123

When I use the AG mode to prove the IMO problem, I encounter **_numericals.InvalidLineIntersectError_**. This issue occurs in imo_2012_p5 and imo_2018_p1. Has anyone encountered the same problem?

TriedTired99

Could not find TensorRT, resulting inference without GPU

3

After installation, I was able to run inference in CPU mode, but it fails to run with GPU, - I have tried to install `tensorrt` with pip, - I have...

Mr-Jeffery

an error of ddar

2

When solving this problem: ``` a b c = triangle a b c; d = foot d a b c; e = angle_bisector e d a c, on_line e b...

pgmthar

ghost

Bumps [idna](https://github.com/kjd/idna) from 3.4 to 3.7. Release notes Sourced from idna's releases. v3.7 What's Changed Fix issue where specially crafted inputs to encode() could take exceptionally long amount of time...

dependabot[bot]

Hi, does anyone know how to solve problems with numerical statements, for example, find y in the picture:  If yes, can you show me how to translate this problem...

cutepiggy123

Errors when running run.sh

3

I am installing AlphaGeometry in Debian 12.5, and I'm running into a few issues with the installation script. I get the same first two errors if I use the built...

stephen-flood