diff --git a/README.md b/README.md index dafbdf1..c6dd7b6 100644 --- a/README.md +++ b/README.md @@ -104,8 +104,6 @@ export PATH="/home/$USER/.elan/bin:$PATH" # Standard vLLM models (Llama, Mistral, DeepSeek, etc.) pip install copra-theorem-prover[os_models] -# GPT-OSS-20b (custom vLLM build with reasoning token support) -pip install copra-theorem-prover[gpt_oss] pip install --pre torch --extra-index-url https://download.pytorch.org/whl/nightly/cu128 # Adjust CUDA version (cu118, cu121, cu128) based on your GPU ``` diff --git a/pyproject.toml b/pyproject.toml index d9f783d..f381e9c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -24,7 +24,7 @@ classifiers = [ ] dependencies = [ - "itp-interface>=1.10.0", + "itp-interface>=1.11.0", "openai>=1.99.1", "tiktoken>=0.12.0", # Updated: 0.4.0 incompatible with Python 3.14t, needs PyO3 0.23+ for free-threading "sentencepiece>=0.2.0", # Updated: 0.1.99 lacks Python 3.14t wheels, 0.2.1 has cp314t support @@ -41,10 +41,7 @@ dependencies = [ [project.optional-dependencies] os_models = [ - "vllm>=0.19.0; python_version < '3.13'", # Optional: Open-source model support with vLLM (requires Python ≤ 3.12) -] -gpt_oss = [ - "vllm==0.10.2" + "vllm>=0.22.0; python_version < '3.13'", # Optional: Open-source model support with vLLM (requires Python ≤ 3.12) ] ui = [ "gradio>=4.0.0,<5.50", # Optional: UI features, requires huggingface-hub which pulls hf-xet (no Python 3.14t support yet) diff --git a/requirements.txt b/requirements.txt deleted file mode 100644 index 0c36212..0000000 --- a/requirements.txt +++ /dev/null @@ -1,36 +0,0 @@ -comet-ml==3.33.9 -dataclasses-json==0.5.7 -numpy==1.23.2 -pexpect==4.8.0 -sentence-transformers==2.2.2 -#torch==1.12.1 -#transformers==4.21.2 -sexpdata==1.0.0 -pampy==0.3.0 -ray==2.4.0 -pydantic==1.10.12 # pydantic > 2 is not compatible with ray -faiss-cpu>=1.6.1 -filelock -#numpy -regex -torch>=1.5.0 -transformers>=4.3 -tqdm>=4.27 -wget -spacy>=2.1.8 -hydra-core>=1.0.0 -omegaconf>=2.0.1 -jsonlines -soundfile==0.12.1 -editdistance==0.6.2 -rank_bm25==0.2.2 -parglare==0.16.1 -openai==0.27.8 -tiktoken==0.4.0 -psutil==5.9.5 -accelerate==0.20.3 -urllib3>=2.0.7 -mathlibtools==1.3.2 -huggingface-hub==0.17.3 -protobuf==3.20.1 # Needed for PISA Isabelle -pylspclient==0.0.3 \ No newline at end of file