sean-lamont
/

leandojo-lean4-tacgen-byt5-small-novel-premises

Text2Text Generation

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

sean-lamont commited on May 10

Commit

2f21aa4

•

1 Parent(s): 0ee8c2f

Create README.md

Files changed (1) hide show

README.md +1 -0

README.md ADDED Viewed

	@@ -0,0 +1 @@


1	+ Repackaged generator weights from kaiyuy/leandojo-pl-ckpts for the random Lean 4 LeanDojo benchmark.