Tags · alessandrorumampuk/Goedel-Prover-V2

alessandrorumampuk/ Goedel-Prover-V2

178 Downloads Updated 1 year ago

8b 32b

Name

3 models

Size / Usage

Context

Input

goedel-prover-v2:latest

8704c8b906ef • 8.7GB • 40K context window • Text input • 1 year ago

Text input • 1 year ago

goedel-prover-v2:latest

8.7GB

40K

Text

8704c8b906ef · 1 year ago

goedel-prover-v2:8b latest

8704c8b906ef • 8.7GB • 40K context window • Text input • 1 year ago

Text input • 1 year ago

goedel-prover-v2:8b latest

8.7GB

40K

Text

8704c8b906ef · 1 year ago

Goedel-Prover-V2:32b

a1f03b5332d4 • 33GB • 40K context window • Text input • 1 year ago

Text input • 1 year ago

Goedel-Prover-V2:32b

33GB

40K

Text

a1f03b5332d4 · 1 year ago