Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

Duoia
/

duotactic

Text Generation

SchemeC-lean-tactic

theorem-proving

proof-automation

formal-mathematics

automated-reasoning

interactive-theorem-proving

Model card Files Files and versions

duotactic / code

66.5 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

Duoia's picture

duotactic full package: checkpoints, tokenizer, config, code, docs

32c0c6c verified about 1 hour ago

leanoar
duotactic full package: checkpoints, tokenizer, config, code, docs about 1 hour ago
common.py

3.21 kB
duotactic full package: checkpoints, tokenizer, config, code, docs about 1 hour ago
eval_dev.py

4.15 kB
duotactic full package: checkpoints, tokenizer, config, code, docs about 1 hour ago
eval_minif2f.py

6.4 kB
duotactic full package: checkpoints, tokenizer, config, code, docs about 1 hour ago
generate.py

4.38 kB
duotactic full package: checkpoints, tokenizer, config, code, docs about 1 hour ago
requirements.txt

151 Bytes
duotactic full package: checkpoints, tokenizer, config, code, docs about 1 hour ago
verify_package.py

4.77 kB
duotactic full package: checkpoints, tokenizer, config, code, docs about 1 hour ago