alphageometry

alphageometry copied to clipboard

Fix incorrect tuple unpacking in check_cyclic

1

This PR fixes a typo in `numericals.py`.   To reproduce the issue, use this problem: ` a b c = triangle a b c; o = circle o a b c;...

minhnhatnoe

run.sh fails (permission error on gdrive folder)

7

In `run.sh`, this line fails: ``` gdown --folder https://bit.ly/alphageometry ``` Maybe a perms fail on the gdrive folder? ``` (.venv) (base) ubuntu@cog1:~/pi/alphageometry$ ./run.sh + . .venv/bin/activate ++ deactivate nondestructive ++...

p-i-

foldl

Hey there :wave: I'm opening this issue to suggest moving the weights files from the GDrive to the [Hugging Face Hub](https://huggingface.co/). The weights files would be publicly available, discoverable under...

Wauplin

training set?

5

i can't happen to find example training set/code. do you have plans to release this? also, how many gpu hours have you spent on training this model?

nullhook

Hi @thtrieu, I've just fixed a few typos in text and code.

pitmonticone

Bumps [werkzeug](https://github.com/pallets/werkzeug) from 3.0.0 to 3.0.1. Release notes Sourced from werkzeug's releases. 3.0.1 This is a security release for the 3.0.x feature branch. Changes: https://werkzeug.palletsprojects.com/en/3.0.x/changes/#version-3-0-1 Changelog Sourced from werkzeug's changelog....

dependabot[bot]

Bumps [urllib3](https://github.com/urllib3/urllib3) from 2.0.6 to 2.0.7. Release notes Sourced from urllib3's releases. 2.0.7 Made body stripped from HTTP requests changing the request method to GET after HTTP 303 "See Other"...

dependabot[bot]

what symbolic engine is AlphaGeometry using?

2

tangzhy

Suggestion: Publish original text of jgex_ag_231.txt

4

I would like to finetune an LLM to automatically parse problem statements. With 300 examples I think it should be possible. If you publish the original statements I could try...

Jerry-Master