alphageometry

alphageometry copied to clipboard

doubt the effectiveness of the model

44

This is a Chinese high school math problem  Let me rewrite the problem as follows： a b c = triangle a b c; a d e = triangle a...

songge25

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

2

Monmayo

Synthetic Data Generation

4

I was wondering how the training set of diagrams was generated (the synthetic diagram + accompanying proof). Like what script should I run? graph.py looks promising, but it's evidently not...

lilyj97

I'm urgently seeking your help to find the part of your GitHub repo that converts English mathematical text into images. I've been looking through the code but haven't been able...

2nazero

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

1

Could the Deepmind team share more environment dependency? ``` ERROR: Could not find a version that satisfies the requirement gin==0.1.6 (from versions: none) ERROR: No matching distribution found for gin==0.1.6...

CoderSherlock

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

1

``` OSError: Unable to open file: base_htrans.gin. Searched config paths: ['', '/transformer/configs', '/root/alphageometry']. ``` how do I fix this? I cannot find 'base_htrans.gin' file anywhere

2nazero

msgpk unpack error

12

When running `run.sh` in bash without changing anything, I got the following error: ``` File "msgpack/_unpacker.pyx", line 205, in msgpack._cmsgpack.unpackb ValueError: Unpack failed: incomplete input ``` This error occurs when...

shufan1

RuntimeError: Internal: unk is not defined.

2

I got this error at initializing the language model by calling get_lm() in alphageometry.py. More specifically line 40 of lm_inference.py: ``` self.vocab = t5.data.SentencePieceVocabulary(vocab_path) ``` below is the longer error...

shufan1

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

5

Hi @thtrieu , thank you for your great work. Could you please share with me the Training Dataset (~100 million unique theorem-proof) OR the script for Data Generation for research...

giangdip2410

Monmayo