markm39
/

openproof-tactic-2b

Text Generation

theorem-proving

tactic-prediction

formal-verification

Model card Files Files and versions

openproof-tactic-2b / tokenizer.json

Commit History

Upload folder using huggingface_hub

80c278b
verified

markm39 commited on 16 days ago