markm39
/

openproof-tactic-2b

Text Generation

theorem-proving

tactic-prediction

formal-verification

Model card Files Files and versions

openproof-tactic-2b / trainer_state.json

markm39's picture

Upload folder using huggingface_hub

80c278b verified 17 days ago

history contribute delete

2.35 MB

File too large to display, you can check the raw version instead.