DAPS-Math/DAPS-selector

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.