Comments (5)
I've got the same error when I'm installing requirements under python 3.10.13.
from alphageometry.
(Ubuntu 20.04) Using conda create -n geom python=3.10
I get python 3.10.13 and pip install -r requirements.txt
works.
from alphageometry.
I think this may be caused by the fact that jaxlib doesn't support Windows until version 0.4.13?(check here) I'm on Windows and tried several versions of Python, all failed at this step. Manually install higher version and delete jaxlib from requirements.txt
may help you. (However there are more version problems than I expected and I haven't fixed them all, maybe just switch to linux is the best way)
from alphageometry.
This is my installation step in wsl2. You can trys this. I already create conda envrionment python==3.10.9
install required package
This is following the guidence of the auothor,but you need install the following packages first
# download from pypi
pip install /mnt/d/tmp/tfds_nightly-4.9.2.dev202308090034-py3-none-any.whl
pip install /mnt/d/tmp/seqio_nightly-0.0.17.dev20231013-py3-none-any.whl
# install from git directory
pip install --require-hashes -r requirements.txt
enalbe gpu
install cuda in conda environment
This is required for tensorflow and jax
conda install cuda -c nvidia/label/cuda-11.8.0
conda install -c conda-forge cudnn=8.4.1
pip install nvidia-cudnn-cu11==8.6.0.163
export LD_LIBRARY_PATH
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/home/wlt2023/anaconda3/envs/alphageometry/lib:/home/wlt2023/anaconda3/envs/alphageometry/lib/python3.10/site-packages/nvidia/cudnn/lib
Then install
install jaxlib
First
pip install jax==0.4.6 jaxlib==0.4.6 orbax-checkpoint
Then choose the correct jaxlib from https://storage.googleapis.com/jax-releases/jax_cuda_releases.html, and donwload the correct version of jaxlib
pip install /mnt/d/tmp/jaxlib-0.4.6+cuda11.cudnn82-cp310-cp310-manylinux2014_x86_64.whl
run
you should add this to avoid matplotlib error
export DISPLAY=:0
from alphageometry.
I had the same issue and found a workaround by using --no-deps option. I made some improvements in a fork repository and have some ideas to further improve the performance of AlphaGeometry, check out AG4Masses and issue 110. It has detailed instruction on set up.
from alphageometry.
Related Issues (20)
- Could not find TensorRT, resulting inference without GPU HOT 3
- Help me with set up common flags HOT 5
- failed test case? HOT 1
- Issue with numerical statement.
- Can the model only do proof based exercises or can it find stuff like the largest an angle can get?
- Error reported when using AG mode to prove IMO problem, numerics.InvalidLineIntersectError
- TypeError is raised when running alphageometry HOT 1
- Whats 5 plus 5? HOT 1
- Make AlphaGeometry better, try AG4Masses (https://github.com/tpgh24/ag4masses)
- error in algebraic reasoning HOT 3
- Some mistake in AR system coding HOT 1
- code for pret-training and fine-tuning the transformer model
- question on synthetic data generation to training data HOT 1
- Modelagem Ambiental - Calculo de Ec
- Synthetic proof generation HOT 1
- Have you ever questioned about the same definition of incenter and excenter in def.txt?
- Errors when running run.sh HOT 3
- Wrong Rule of Equal Inscribed Angle HOT 6
- cannot import name 'get_tensorstore_spec' from 'jax.experimental.array_serialization
- Alphageometry seems not able to solve basic geometry question HOT 23
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from alphageometry.