google-deepmind alphageometry issues

google-deepmind / alphageometry

Apache License 2.0

4.1k stars 460 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Copy and Run Alphageometry

#141 greentree327 opened 2 days ago
0
"ModuleNotFoundError: No module named 'transformer'"

#140 Pedro-Enrique opened 2 weeks ago
1
how tobe smart

#139 Aritra-ckb opened 4 weeks ago
0
how to prepare for IMO

#138 Aritra-ckb opened 4 weeks ago
0
Question in the process of "generating proofs beyond symbolic deduction"

#137 Seungwon718 opened 1 month ago
0
Bump nltk from 3.8.1 to 3.9

#136 dependabot[bot] opened 1 month ago
0
ValueError: No configurable matching 'transformer_layer.TransformerLayerGenerate'. In file "geometry_150M_generate.gin", line 11 transformer_layer.TransformerLayerGenerate

#135 Janam-netizen opened 1 month ago
0
o

#134 lbamarante opened 1 month ago
0
Docker File and image on docker hub

#133 Akash-dvd opened 2 months ago
0
Pls solve me these problem

#132 LipHS opened 2 months ago
0
Example problems are not working with mode alphageometry

#131 patergonier opened 2 months ago
0
No compatible package versions

#130 dchou1618 opened 2 months ago
0
EXO ANGLES

#129 Josteregg opened 2 months ago
1
ERROR: must end with ;

#128 Icyyybro closed 2 months ago
0
dimostra

#127 ghost opened 2 months ago
0
Bump zipp from 3.17.0 to 3.19.1

#126 dependabot[bot] opened 2 months ago
1
Bump certifi from 2023.7.22 to 2024.7.4

#125 dependabot[bot] opened 2 months ago
0
Can you define problems like this:

#124 ghost opened 2 months ago
0
Bump scikit-learn from 1.3.1 to 1.5.0

#123 dependabot[bot] opened 3 months ago
0
Bump urllib3 from 2.0.6 to 2.2.2

#122 dependabot[bot] opened 3 months ago
0
Issue with version of flax and jax while installing in WSL

#121 Nishchal7021 closed 3 months ago
1
How to run in Windows?

#120 loveckx opened 4 months ago
1
Automatic Translation to AlphaGeometry Symbolic Form

#119 phamtienkha opened 4 months ago
1
better margin calculation

#118 okajimad opened 4 months ago
0
better margin calculation

#117 okajimad closed 4 months ago
2
has anyone manage to run on colab?

#116 Azeks0 opened 4 months ago
1
Alphageometery

#115 ravioli89 opened 4 months ago
0
Some mistake in AR system coding

#114 AnabelicSun opened 4 months ago
1
Bump werkzeug from 3.0.0 to 3.0.3

#113 dependabot[bot] opened 4 months ago
0
Bump tqdm from 4.66.1 to 4.66.3

#112 dependabot[bot] opened 4 months ago
0
error in algebraic reasoning

#111 shenglih opened 5 months ago
3
Make AlphaGeometry better, try AG4Masses (https://github.com/tpgh24/ag4masses)

#110 tpgh24 opened 5 months ago
0
Whats 5 plus 5?

#109 Alanbgarcia opened 5 months ago
1
TypeError is raised when running alphageometry

#108 jiwei08 opened 5 months ago
1
Error reported when using AG mode to prove IMO problem, numerics.InvalidLineIntersectError

#107 TriedTired99 opened 5 months ago
0
Can the model only do proof based exercises or can it find stuff like the largest an angle can get?

#106 ghost opened 5 months ago
0
Bump idna from 3.4 to 3.7

#105 dependabot[bot] opened 5 months ago
0
Issue with numerical statement.

#104 cutepiggy123 opened 5 months ago
0
failed test case?

#103 shenglih opened 5 months ago
1
Help me with set up common flags

#102 cutepiggy123 opened 5 months ago
5
Could not find TensorRT, resulting inference without GPU

#101 Mr-Jeffery opened 5 months ago
3
Bump pillow from 10.0.1 to 10.3.0

#100 dependabot[bot] opened 5 months ago
0
Alphageometry seems not able to solve basic geometry question

#99 maokaiii opened 6 months ago
24
cannot import name 'get_tensorstore_spec' from 'jax.experimental.array_serialization

#98 XEROXyuyuyuyu opened 6 months ago
0
Wrong Rule of Equal Inscribed Angle

#97 michael753-yen closed 5 months ago
6
Errors when running run.sh

#96 stephen-flood opened 6 months ago
3
Have you ever questioned about the same definition of incenter and excenter in def.txt?

#95 ppaaron opened 6 months ago
0
Synthetic proof generation

#94 ParthaEth opened 6 months ago
1
Modelagem Ambiental - Calculo de Ec

#93 MA-2000 opened 6 months ago
0
question on synthetic data generation to training data

#92 shufan1 opened 6 months ago
1