playra
/

tern-tc-9m

verifiable-inference

Model card Files Files and versions

17.6 MB

Ctrl+K

Ctrl+K

1 contributor

History: 15 commits

playra's picture

remove leaked build artifact c_infer/tc_infer (not in spec FILES; nondeterministically broke verify.sh exec)

cc1e867 verified 13 days ago

c_infer
remove leaked build artifact c_infer/tc_infer (not in spec FILES; nondeterministically broke verify.sh exec) 13 days ago
charts
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago
results
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago
scripts
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago
.gitattributes

1.52 kB
initial commit 14 days ago
LICENSE

11.4 kB
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago
README.md

7.72 kB
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago
model.py

17.6 kB
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago
model_card.t27

13.7 kB
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago
sha256sums.txt

1.63 kB
tern_tc TC02 checkpoint, C engine, verification harness, 8K tokenizer, model card from model_card.t27 14 days ago