alphageometry

alphageometry copied to clipboard

Blesss you guys and happy new year 🎊

bunchflip

etils error

9

Collecting etils[epath] ERROR: In --require-hashes mode, all requirements must have their versions pinned with ==. These do not: etils[epath] from https://files.pythonhosted.org/packages/cf/10/55adb8074b0211f8cfad76e73da86d4306e45567a5e6a905b4444fd7a751/etils-1.6.0-py3-none-any.whl#sha256=3da192b057929f2511f9ef713cee7d9c498e741740f8b2a9c0f6392d787201d4 (from array-record==0.4.1->-r requirements.txt (line 28))

Ravenmoray

Requirements.txt - wrong versions

5

I have python 3.10.9 installed but in the requirements.txt files there are dependencies that require a different version of python. I am getting this error: ```shell ERROR: Could not find...

Anejz

This line https://github.com/google-deepmind/alphageometry/blob/1357929e91bd327a015b26a94664035dc40b76b7/numericals.py#L705 Should not contain the parentheses, like ``` a, b, c, *ps = points ``` Otherwise, it crashes on: > TypeError: cannot unpack non-iterable Point object

mirefek

TueNguyen2006

prove of the simple problem of Fig. 1

2

I have tried the simple problem of Fig. 1, and it can be proved. Is there anything wrong? ``` test a b c = eq2_triangle a b c ? eqangle...

foldl

Possibly wrong rule in the solver ruleset

12

The sample solution generated for the orthocentre problem by alhpageometry looks like this: ``` * From theorem premises: A B C D : Points BD ⟂ AC [00] CD ⟂...

geometer

Tests not passed

12

I followed your instructions and got one test not passed. It says the following: ``` FAIL: test_lm_score_may_fail_numerically_for_external_meliad (__main__.LmInferenceTest) ---------------------------------------------------------------------- Traceback (most recent call last): File "/mnt/array50tb/projects/alphageometry/lm_inference_test.py", line 82, in test_lm_score_may_fail_numerically_for_external_meliad...

Jerry-Master

AttributeError: "DecoderOnlyLanguageModel" object has no attribute "num_heads" when I use "alphageometry" mode?

2

How to fix this problem when I use alphageometry mode? Traceback (most recent call last): File "/usr/lib/python3.10/runpy.py", line 196, in _run_module_as_main return _run_code(code, main_globals, None, File "/usr/lib/python3.10/runpy.py", line 86, in...

blablakhonluong

Definitions clarification

2

In the `defs.txt` there are terms not defined neither on the article nor the references I searched. Could you please explain the syntaxis of this: ``` on_circle x o a...

Jerry-Master