T T

NP235 's models 4

Sort:  Recently updated

NP235/math_albert

11.9M • Updated 2 days ago • 17

NP235/SU-01

Text Generation • 31B • Updated 2 days ago • 305

NP235/Goedel-Prover-V2-32B

Text Generation • 33B • Updated 2 days ago • 271

NP235/Goedel-Formalizer-V2-32B

33B • Updated 2 days ago • 7