FrenzyMath
/

REAL-Prover

Text Generation

theorem-proving

formal-mathematics

retrieval-augmented

mathematical-reasoning

text-generation-inference

Model card Files Files and versions

Commit History

Update config.json

fe76f68
verified

mmtke commited on Jul 17

Update config.json

525c33f
verified

mmtke commited on Jul 17

Update README.md

1fc4a9b
verified

mmtke commited on Jul 17

Update README.md

4e5194c
verified

mmtke commited on Jul 17

Delete training_args.bin

d02c4ff
verified

mmtke commited on Jul 17

Delete all_results.json

95e7712
verified

mmtke commited on Jul 17

Delete trainer_log.jsonl

480f234
verified

mmtke commited on Jul 17

Delete trainer_state.json

3793b45
verified

mmtke commited on Jul 17

Delete training_loss.png

1a902d0
verified

mmtke commited on Jul 17

Delete train_results.json

7974b56
verified

mmtke commited on Jul 17

Delete ._____temp

39aa397
verified

mmtke commited on Jul 17

Update README.md

4dcdc07
verified

mmtke commited on Jul 11

Update README.md

b3cc8b0
verified

mmtke commited on Jul 11

Upload new version of large model

ae49dc4
verified

mmtke commited on Jul 11

Test Upload

b690617

mmtke commited on Jul 10

initial commit

1737183
verified

mmtke commited on Jul 5