Instructions to use haielab/BFS-Prover-counterexamples-base with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use haielab/BFS-Prover-counterexamples-base with Transformers:
# pip install -U transformers accelerate # Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("haielab/BFS-Prover-counterexamples-base", device_map="auto") - Notebooks
- Google Colab
- Kaggle
File size: 133 Bytes
edba762 | 1 2 3 4 | version https://git-lfs.github.com/spec/v1
oid sha256:9cc964c8868d09bd12fa06e3cce20f2e7df4dd5803833f1cbee911d384e76632
size 11422163
|