alphageometry issues

Bump pillow from 10.0.1 to 10.3.0

Bumps [pillow](https://github.com/python-pillow/Pillow) from 10.0.1 to 10.3.0. Release notes Sourced from pillow's releases. 10.3.0 https://pillow.readthedocs.io/en/stable/releasenotes/10.3.0.html Changes CVE-2024-28219: Use strncpy to avoid buffer overflow #7928 [@hugovk] Use functools.lru_cache for hopper() #7912 [@hugovk]...

dependabot[bot]

dependencies

cannot import name 'get_tensorstore_spec' from 'jax.experimental.array_serialization

Traceback (most recent call last): File "C:\users\lenovo\alphageometry\lm_inference_test.py", line 22, in import lm_inference as lm File "C:\users\lenovo\alphageometry\lm_inference.py", line 22, in from transformer import inference_utils File "C:\users\lenovo\alphageometry\$MELIAD_PATH\transformer\inference_utils.py", line 26, in import training_loop...

XEROXyuyuyuyu

Synthetic proof generation

1

What script to run or how exactly I generate synthetic proofs?

ParthaEth

Where to get the imo30 origin question?

2

Strand2013

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

Have you ever questioned about the same definition of incenter and excenter in def.txt? Was it right or you give a wrong definition? In line 73: incenter x a b...

ppaaron

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

shufan1