File size: 610 Bytes
acfac37 f218e1f acfac37 f218e1f | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | ---
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
```python
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](https://relational-conjecturing.github.io/Dependency-Aware-Premise-Selection/).
|