google-deepmind/alphageometry issues and pull requests

#141 - Copy and Run Alphageometry

Issue - State: open - Opened by greentree327 about 2 months ago

#140 - "ModuleNotFoundError: No module named 'transformer'"

Issue - State: open - Opened by Pedro-Enrique 2 months ago - 1 comment

#139 - how tobe smart

Issue - State: open - Opened by Aritra-ckb 2 months ago

#138 - how to prepare for IMO

Issue - State: open - Opened by Aritra-ckb 2 months ago

#137 - Question in the process of "generating proofs beyond symbolic deduction"

Issue - State: open - Opened by Seungwon718 3 months ago

#136 - Bump nltk from 3.8.1 to 3.9

Pull Request - State: open - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#135 - ValueError: No configurable matching 'transformer_layer.TransformerLayerGenerate'. In file "geometry_150M_generate.gin", line 11 transformer_layer.TransformerLayerGenerate

Issue - State: open - Opened by Janam-netizen 3 months ago

#134 - o

Issue - State: open - Opened by lbamarante 3 months ago

#133 - Docker File and image on docker hub

Issue - State: open - Opened by Akash-dvd 4 months ago

#132 - Pls solve me these problem

Issue - State: open - Opened by LipHS 4 months ago

#131 - Example problems are not working with mode alphageometry

Issue - State: open - Opened by patergonier 4 months ago

#130 - No compatible package versions

Issue - State: open - Opened by dchou1618 4 months ago

#129 - EXO ANGLES

Issue - State: open - Opened by Josteregg 4 months ago - 1 comment

#128 - ERROR: must end with ;

Issue - State: closed - Opened by Icyyybro 4 months ago

#127 - dimostra

Issue - State: open - Opened by ghost 4 months ago

#126 - Bump zipp from 3.17.0 to 3.19.1

Pull Request - State: open - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#125 - Bump certifi from 2023.7.22 to 2024.7.4

Pull Request - State: open - Opened by dependabot[bot] 4 months ago
Labels: dependencies

#124 - Can you define problems like this:

Issue - State: open - Opened by ghost 4 months ago

#123 - Bump scikit-learn from 1.3.1 to 1.5.0

Pull Request - State: open - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#122 - Bump urllib3 from 2.0.6 to 2.2.2

Pull Request - State: open - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#121 - Issue with version of flax and jax while installing in WSL

Issue - State: closed - Opened by Nishchal7021 5 months ago - 1 comment

#120 - How to run in Windows?

Issue - State: open - Opened by loveckx 5 months ago - 1 comment

#119 - Automatic Translation to AlphaGeometry Symbolic Form

Issue - State: open - Opened by phamtienkha 6 months ago - 1 comment

#118 - better margin calculation

Pull Request - State: open - Opened by okajimad 6 months ago

#117 - better margin calculation

Pull Request - State: closed - Opened by okajimad 6 months ago - 2 comments

#116 - has anyone manage to run on colab?

Issue - State: open - Opened by Azeks0 6 months ago - 1 comment

#115 - Alphageometery

Issue - State: open - Opened by ravioli89 6 months ago

#114 - Some mistake in AR system coding

Issue - State: open - Opened by AnabelicSun 6 months ago - 1 comment

#113 - Bump werkzeug from 3.0.0 to 3.0.3

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#112 - Bump tqdm from 4.66.1 to 4.66.3

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#111 - error in algebraic reasoning

Issue - State: open - Opened by shenglih 7 months ago - 3 comments

#110 - Make AlphaGeometry better, try AG4Masses (https://github.com/tpgh24/ag4masses)

Issue - State: open - Opened by tpgh24 7 months ago

#109 - Whats 5 plus 5?

Issue - State: open - Opened by Alanbgarcia 7 months ago - 1 comment

#108 - TypeError is raised when running alphageometry

Issue - State: open - Opened by jiwei08 7 months ago - 1 comment

#107 - Error reported when using AG mode to prove IMO problem, numerics.InvalidLineIntersectError

Issue - State: open - Opened by TriedTired99 7 months ago

#106 - Can the model only do proof based exercises or can it find stuff like the largest an angle can get?

Issue - State: open - Opened by ghost 7 months ago

#105 - Bump idna from 3.4 to 3.7

Pull Request - State: open - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#104 - Issue with numerical statement.

Issue - State: open - Opened by cutepiggy123 7 months ago

#103 - failed test case?

Issue - State: open - Opened by shenglih 7 months ago - 1 comment

#102 - Help me with set up common flags

Issue - State: open - Opened by cutepiggy123 7 months ago - 5 comments

#101 - Could not find TensorRT, resulting inference without GPU

Issue - State: open - Opened by Mr-Jeffery 7 months ago - 3 comments

#100 - Bump pillow from 10.0.1 to 10.3.0

Pull Request - State: open - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#99 - Alphageometry seems not able to solve basic geometry question

Issue - State: open - Opened by maokaiii 7 months ago - 24 comments

#98 - cannot import name 'get_tensorstore_spec' from 'jax.experimental.array_serialization

Issue - State: open - Opened by XEROXyuyuyuyu 8 months ago

#97 - Wrong Rule of Equal Inscribed Angle

Issue - State: closed - Opened by michael753-yen 8 months ago - 6 comments

#96 - Errors when running run.sh

Issue - State: open - Opened by stephen-flood 8 months ago - 3 comments

#95 - Have you ever questioned about the same definition of incenter and excenter in def.txt?

Issue - State: open - Opened by ppaaron 8 months ago

#94 - Synthetic proof generation

Issue - State: open - Opened by ParthaEth 8 months ago - 1 comment

#93 - Modelagem Ambiental - Calculo de Ec

Issue - State: open - Opened by MA-2000 8 months ago

#92 - question on synthetic data generation to training data

Issue - State: open - Opened by shufan1 8 months ago - 1 comment

#91 - code for pret-training and fine-tuning the transformer model

Issue - State: open - Opened by shufan1 8 months ago

#90 - Bottleneck of alphageometry

Issue - State: open - Opened by jojo23333 8 months ago

#89 - `jax.random` causes build fail

Issue - State: open - Opened by geo-179 8 months ago - 4 comments

#88 - Translation: "ERROR: must end with ;"

Issue - State: closed - Opened by lehyvoal 8 months ago - 2 comments

#87 - How to add new rule in DD? Can it be realized？

Issue - State: closed - Opened by strand2013 9 months ago - 2 comments

#86 - Where to get the imo30 origin question?

Issue - State: open - Opened by strand2013 9 months ago - 2 comments

#85 - Implementation of traceback for algebraic deduction

Issue - State: open - Opened by enlacroix 9 months ago

#84 - an error of ddar

Issue - State: open - Opened by pgmthar 9 months ago - 2 comments

#83 - Program to automatically check a proof/solution in the same format as in the paper

Issue - State: open - Opened by tchaumeny 9 months ago - 2 comments

#82 - Urgent Help Needed: Could somebody please help to find locating Text-to-Image Generation components in this repository???🥺

Issue - State: open - Opened by 2nazero 9 months ago

#81 - PLEAE HELP!!! OSError: Unable to open file: base_htrans.gin. Searched config paths: ['', '/transformer/configs', '/root/alphageometry'].

Issue - State: open - Opened by 2nazero 9 months ago - 1 comment

#80 - RuntimeError: Internal: unk is not defined.

Issue - State: open - Opened by shufan1 9 months ago - 2 comments

#79 - Could you please share the Training Dataset OR the script for Data Generation?

Issue - State: open - Opened by giangdip2410 9 months ago - 5 comments

#78 - git clone https://github.com/google-deepmind/alphageometry.git cd alphageometry

Issue - State: open - Opened by Monmayo 9 months ago

#77 - Oを原点とするxyz 空間内にxy平面上の放物線y＝x^2をy軸の周りに回転してできる曲面Sと、正四面体OABCがたり、条件「３頂点A、B、Cはs上にある」を満たしている時、正四面体OABCの一辺の長さを求めろ

Issue - State: open - Opened by Monmayo 9 months ago - 2 comments

#76 - msgpk unpack error

Issue - State: open - Opened by shufan1 9 months ago - 12 comments

#74 - angle congruences, but not similarity

Issue - State: open - Opened by unhandyandy 9 months ago - 4 comments

#73 - doubt the effectiveness of the model

Issue - State: open - Opened by songge25 9 months ago - 44 comments

#72 - Synthetic Data Generation

Issue - State: open - Opened by lilyj97 10 months ago - 4 comments

#71 - error solving imo_2005_p5

Issue - State: open - Opened by unhandyandy 10 months ago - 8 comments

#69 - Am I formulating this problem correctly ?

Issue - State: open - Opened by dangmanhtruong1995 10 months ago - 8 comments

#68 - Is add_eq2 correct?

Issue - State: open - Opened by blackcherry88 10 months ago - 3 comments

#67 - language documentation?

Issue - State: open - Opened by iub-organizing-collective 10 months ago - 10 comments

#66 - How can I test my own data

Issue - State: open - Opened by songge25 10 months ago

#65 - bash run.sh got "TypeError: Callable[args, result]: args must be a list. Got <class 'str'>" on line 51 of dd.py

Issue - State: open - Opened by shufan1 10 months ago

#64 - How to run the inference on GPU.

Issue - State: open - Opened by stephtchoko 10 months ago

#63 - Test lm_inference_test.py fails

Issue - State: open - Opened by stephtchoko 10 months ago - 1 comment

#62 - ERROR: No matching distribution found for (array-record ,cachetools, babel, charset-normalizer, chex, ....)

Issue - State: closed - Opened by shufan1 10 months ago

#61 - Module requirement: Could not find a version that satisfies the requirement gin==0.1.6

Issue - State: open - Opened by CoderSherlock 10 months ago - 1 comment

#60 - TESTING OF ALPHAGEOMETRY

Issue - State: open - Opened by Ehisnet 10 months ago - 29 comments

#59 - about the max_decode_len in model.py

Issue - State: open - Opened by Landau1994 10 months ago

#58 - collecting etils[epath]

Issue - State: closed - Opened by unhandyandy 10 months ago - 1 comment

#57 - No matching distribution found for tensorflow-text==2.13.0

Issue - State: closed - Opened by unhandyandy 10 months ago - 1 comment

#56 - ModuleNotFoundError: No module named 'transformer' is reported

Issue - State: open - Opened by pshi007 10 months ago - 8 comments

#55 - ModuleNotFoundError: No module named 'absl'

Issue - State: open - Opened by asyvn 10 months ago - 2 comments

#54 - Updated run.sh

Pull Request - State: open - Opened by salihmarangoz 10 months ago - 1 comment

#53 - flax error: no working directory specified

Issue - State: open - Opened by vnpower 10 months ago - 1 comment

#52 - translated_imo_2000_p6 error --beam_size=512 --search_depth=16

Issue - State: open - Opened by robotzheng 10 months ago - 1 comment

#51 - ERROR: No matching distribution found for jaxlib==0.4.6

Issue - State: closed - Opened by michael753-yen 10 months ago - 4 comments

#50 - about checkpoint_10999999

Issue - State: open - Opened by robotzheng 10 months ago

#49 - Mw

Issue - State: open - Opened by MlwChelly 10 months ago

#48 - Cannot run on Colab

Issue - State: open - Opened by TueNguyen2006 10 months ago - 1 comment

#47 - Bump pillow from 10.0.1 to 10.2.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies

#46 - Download fails with "file/folder name cannot be extracted from: ag_ckpt_vocab"

Issue - State: open - Opened by nvladimirovi 10 months ago - 2 comments

#45 - ModuleNotFoundError: No module named 'tensorflow.python'

Issue - State: open - Opened by vnpower 10 months ago - 1 comment

#44 - Inconsistencies in Auxiliary Construction Predictions

Issue - State: open - Opened by yihong1120 10 months ago

#43 - Tranformation from geogebra to the geometric Language

Issue - State: closed - Opened by ghost 10 months ago - 2 comments

GitHub / google-deepmind/alphageometry issues and pull requests