fumiyau

leanprover_20230704_01_clm_prover_14final_checkpoint_5830

fumiyau/leanprover_20230704_01_clm_prover_14final_checkpoint_5830

leanprover_20230704_01_clm_prover_14final_checkpoint_5830 is a text generation model from fumiyau. Use it when you need the model to write or continue text. It is set up for transformers.