Tags · codecraftersllc/goedel-code-prover

codecraftersllc/ goedel-code-prover

4 Downloads Updated 5 months ago

Name

4 models

Size / Usage

Context

Input

goedel-code-prover:latest

4202f476e270 • 5.0GB • 40K context window • Text input • 5 months ago

Text input • 5 months ago

goedel-code-prover:latest

5.0GB

40K

Text

4202f476e270 · 5 months ago

goedel-code-prover:q4_k_m

4202f476e270 • 5.0GB • 40K context window • Text input • 5 months ago

Text input • 5 months ago

goedel-code-prover:q4_k_m

5.0GB

40K

Text

4202f476e270 · 5 months ago

goedel-code-prover:q8_0

add6aac858bc • 8.7GB • 40K context window • Text input • 5 months ago

Text input • 5 months ago

goedel-code-prover:q8_0

8.7GB

40K

Text

add6aac858bc · 5 months ago

goedel-code-prover:f16

be9e7a0f0091 • 16GB • 40K context window • Text input • 5 months ago

Text input • 5 months ago

goedel-code-prover:f16

16GB

40K

Text

be9e7a0f0091 · 5 months ago