Tags · alessandrorumampuk/Goedel-Prover-V2

alessandrorumampuk/ Goedel-Prover-V2

58 Downloads Updated 7 months ago

8b 32b

Name

3 models

Size

Context

Input

goedel-prover-v2:latest

8704c8b906ef • 8.7GB • 40K context window • Text input • 7 months ago

Text input • 7 months ago

goedel-prover-v2:latest

8.7GB

40K

Text

8704c8b906ef · 7 months ago

goedel-prover-v2:8b latest

8704c8b906ef • 8.7GB • 40K context window • Text input • 7 months ago

Text input • 7 months ago

goedel-prover-v2:8b latest

8.7GB

40K

Text

8704c8b906ef · 7 months ago

Goedel-Prover-V2:32b

a1f03b5332d4 • 33GB • 40K context window • Text input • 7 months ago

Text input • 7 months ago

Goedel-Prover-V2:32b

33GB

40K

Text

a1f03b5332d4 · 7 months ago