Shufan Xia

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...

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...

I got the following error when running `bash run.sh` to run alphageometry.py on the example question. i didn't change the input in`run.sh`. How could fix this error? Appreciate your help...

question on synthetic data generation to training data

1

After a synthetic proof is generated, how is it used as training data? For example, if a synthetic proof has _N_ auxiliary constructions between the premise statement _si_ and the...

Is there any way the code for pre-training and finetuning the transformer model could be shared? Or could anyone suggest to me where to look for resources to write scripts...