itsalissonsilva
/

CryptoReasoner-20B-Graph-Proofs

symbolic-reasoning

Model card Files Files and versions

CryptoReasoner-20B-Graph-Proofs

63.8 MB

Ctrl+K

Ctrl+K

1 contributor

History: 5 commits

itsalissonsilva's picture

itsalissonsilva

Polish application example and technical prose spacing

08a41c4 verified 3 days ago

.gitattributes

1.52 kB
initial commit 3 days ago
LICENSE

11.5 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
README.md

3.93 kB
Polish application example and technical prose spacing 3 days ago
adapter_config.json

4.74 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
adapter_model.safetensors

63.7 MB
xet

Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
crypto_compact_kernel.py

2.06 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
crypto_proof_kernel.py

4.31 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
evaluation.json

40.9 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
fixture.json

21.7 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
native_evaluation.json

4.69 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
proof.py

5.54 kB
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago
requirements.txt

210 Bytes
Release the adapter that reproduced improvement over base in HF Jobs 3 days ago