z3-api-reasoning / trainer_state.json

Commit History

Upload model checkpoint
32bb36e

smjain commited on