metadata
license: apache-2.0
library_name: pytorch
tags:
- premise-selection
- theorem-proving
- lean
- mathlib
DAPS Selector
The graph-aware DAPS premise selector produced after Phase 2 training on Mathlib. The main branch contains this Phase 2 checkpoint, daps_selector.pt.
Download weights
from huggingface_hub import hf_hub_download
checkpoint_path = hf_hub_download(
repo_id="DAPS-Math/DAPS-selector",
filename="daps_selector.pt",
revision="main",
)
Project page: DAPS.