Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 2 additions & 11 deletions Dockerfile
Original file line number Diff line number Diff line change
@@ -1,7 +1,4 @@
# Use an official Python runtime as the base image
# FROM python:3.12-slim
# Base image with GPU support
# FROM nvidia/cuda:12.4.1-devel-ubuntu22.04
FROM nvidia/cuda:13.0.0-devel-ubuntu22.04

# Set CUDA and NVIDIA library paths
Expand Down Expand Up @@ -143,15 +140,9 @@ RUN pip install -e proofgrader_repo
# Download things for balrog domains
RUN python -m domains.balrog.scripts.post_install

# For Genesis: install PyTorch with CUDA support
# For Genesis: install PyTorch with CUDA 13.0 support
# First check the Cuda version: nvidia-smi
# If Cuda version is 11.8:
# RUN pip install --no-cache-dir torch==2.1.0 torchvision==0.16.0 --index-url https://download.pytorch.org/whl/cu118
# If Cuda version is 12.1:
# RUN pip install --no-cache-dir torch==2.1.0 torchvision==0.16.0 --index-url https://download.pytorch.org/whl/cu121
# If Cuda version is 12.4:
# RUN pip install --no-cache-dir torch==2.6.0 torchvision==0.21.0 --index-url https://download.pytorch.org/whl/cu124
# If Cuda version is 13.0:
# For other CUDA versions, adjust the --index-url accordingly (e.g., cu118, cu121, cu124)
RUN pip install torch torchvision --index-url https://download.pytorch.org/whl/cu130

# Ensure the libcuda symlink fix runs before your command
Expand Down
2 changes: 0 additions & 2 deletions domains/genesis/genesis_utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,6 @@ def collect_and_summarize_results(output_dir):
for dir in dirs
if dir.startswith("genesis_eval")
]
print(f"DEBUG: Found genesis_eval directories: {genesis_eval_dirs}")

# From each genesis_eval/ folder, find all .json files
json_files = []
Expand All @@ -55,7 +54,6 @@ def collect_and_summarize_results(output_dir):
if filename.endswith(".json"):
json_filepath = os.path.join(root, filename)
json_files.append(json_filepath)
print(f"DEBUG: Found JSON files: {json_files}")

# Each json file is a separate run, so we need to group them by tasks
# Each json file has the name format of {task}_run_{run_id}.json
Expand Down