| {"artifacts":{"LICENSE":{"bytes":1088,"sha256":"b61d1b5bd1739737d2fa4395286f4f955618ea942854c60c8b810245a4daf2cf"},"MODEL_CARD.md":{"bytes":4054,"sha256":"dbbf239df2dc281c44f76bfe7c9798817a2f750653a0753dcbb509c5ff0030fb"},"MODEL_LICENSE.md":{"bytes":1566,"sha256":"4c0e0d840baf04eb7601c94c7ba3af890e501d63bbd3fa9ae99ee359684c8beb"},"decoder-step.fp16.onnx":{"bytes":12494938,"sha256":"531b2b82d680a1ce1b082cce1db8ed83273e043947ce8f340d82ce728f078ee9"},"decoder-step.fp32.onnx":{"bytes":24930986,"sha256":"2c644c0c579dee3bd544d2a2e080dac8fe226a79c2b962c8a1b58d02fa7a460d"},"decoder-step.int8.onnx":{"bytes":7541001,"sha256":"fea2c1792dcfbb8b9e4ed3215d9591fa8ad5f99bd626bc9862355c666083eecf"},"encoder.fp16.onnx":{"bytes":16497777,"sha256":"e0720d76d8b78a68f281522a6fc3ad20b42d7e3a0102fba9c08509c01e8d8477"},"encoder.fp32.onnx":{"bytes":32698329,"sha256":"8ac89dd771d79b70ac384d86645dc0281ae88fb706de2da322f6f2c515492f89"},"encoder.int8.onnx":{"bytes":11039884,"sha256":"6c889df95eb503c3debefad306e3bdc1f4d4a4f1d217f89a664d5710262bdab1"},"evaluation.json":{"bytes":7206,"sha256":"39de1c13553be1d66eb323cfec73bcbf5bec3d99b32c773cfae943867deae189"},"model-config.json":{"bytes":411,"sha256":"91ce74a06e698c31323e61948c4016fc7d267d62976e6291095a71cb13cccb34"},"onnx-parity.json":{"bytes":2210,"sha256":"b630bc5ad91d015b89c2c4296561b615d056d09a480750a262a234a947a2eaad"},"output-policy.json":{"bytes":1146,"sha256":"73b611f8cb8b9035f8db334e5a0390956b78d20b8bba4cf92c789221c8316797"},"preprocess-config.json":{"bytes":306,"sha256":"e39d199285cc83ec7b48a5a02af39f3d904607e7b462d023aa6964ed3ee5659d"},"vocabulary.json":{"bytes":4690,"sha256":"45516a0227a25922979210a3d69dc400b2876d072fec68b4c26557e05c7fe737"}},"cached_inference_implementation":"cached-transformer-step-v2","checkpoint":{"parameter_hash":"dcbf1a037fee205c82b7c52c9d0c0c2ee3d68d4a514f4593e15711f02bad31ec","path":"checkpoint-step-002000.pt","sha256":"29d4a51adc71526f395750bb12a1783fbfd9bfa5a4c68fc9bfb665b68c633d52","step":2000,"training_run_id":"64e092c2013ed43e35d3573e3e2a161c9948f12279ebb92513ab6b15c8811814"},"confidence":{"calibrated":false,"notice":"Displayed token score is uncalibrated and is not the probability that the formula is correct.","provisional":true,"schema_version":"uncalibrated-token-score-v1","score_name":"geometric_mean_selected_token_probability"},"dataset":{"catalog_hash":null,"formula_source":"ibem-zenodo-7963703-typst-v1","lock_hash":"10dae9db6eab4de9d36ee28ca99760bc0c6231fab77311004452dee719f64271","output_policy_hash":"73b611f8cb8b9035f8db334e5a0390956b78d20b8bba4cf92c789221c8316797","source_dataset_lock_hash":null,"vocabulary_hash":"021bcc43e6945a50472197d3879761f52e331830a0f6c9154e7522c5bde4d23c"},"evaluation":{"backend":"pytorch-fp32","dataset_lock_hash":"10dae9db6eab4de9d36ee28ca99760bc0c6231fab77311004452dee719f64271","dataset_role":"training-ibem-base","metrics":{"compile_rate":0.9956802177643648,"count":16899,"decode_repetition_guarded_count":0,"eos_rate":1.0,"greedy_exact_match":0.9262678264986094,"mean_character_similarity":0.9888805322056904,"mean_token_edit_distance":0.9357358423575359,"mean_token_similarity":0.9894041288851192,"numeric_normalized_count":664,"reference_numeric_normalized_count":675,"syntax_repaired_count":251,"teacher_forced_exact_sequence":0.9334871885910409,"teacher_forced_loss":0.04125768107360038,"teacher_forced_token_accuracy":0.9922681385121109},"path":"evaluation.json","run_id":"14a6fd8dc83611fa0b8ad1f46c41a975187bf1476be434f35644340f6a16cbc0","sample_count":16899,"sha256":"39de1c13553be1d66eb323cfec73bcbf5bec3d99b32c773cfae943867deae189","split":"val"},"formula_repair_implementation":"formula-syntax-repair-v8","graph_validation":{"decoder-step.fp16.onnx":{"bytes":12494938,"node_count":293,"opset":[{"domain":"","version":18}],"sha256":"531b2b82d680a1ce1b082cce1db8ed83273e043947ce8f340d82ce728f078ee9"},"decoder-step.fp32.onnx":{"bytes":24930986,"node_count":278,"opset":[{"domain":"","version":18}],"sha256":"2c644c0c579dee3bd544d2a2e080dac8fe226a79c2b962c8a1b58d02fa7a460d"},"decoder-step.int8.onnx":{"bytes":7541001,"node_count":354,"opset":[{"domain":"","version":18}],"sha256":"fea2c1792dcfbb8b9e4ed3215d9591fa8ad5f99bd626bc9862355c666083eecf"},"encoder.fp16.onnx":{"bytes":16497777,"node_count":1046,"opset":[{"domain":"","version":18}],"sha256":"e0720d76d8b78a68f281522a6fc3ad20b42d7e3a0102fba9c08509c01e8d8477"},"encoder.fp32.onnx":{"bytes":32698329,"node_count":1043,"opset":[{"domain":"","version":18}],"sha256":"8ac89dd771d79b70ac384d86645dc0281ae88fb706de2da322f6f2c515492f89"},"encoder.int8.onnx":{"bytes":11039884,"node_count":1121,"opset":[{"domain":"","version":18}],"sha256":"6c889df95eb503c3debefad306e3bdc1f4d4a4f1d217f89a664d5710262bdab1"}},"license":"MIT","max_output_tokens":256,"model_implementation":"cnn-transformer-v3","model_name":"ibem-semantic-length33-phase10-step002000","numeric_lexeme_normalization":"formula-numeric-lexeme-v2","onnx_opset":18,"parameters":14157152,"parity":{"fp16_all_match":true,"fp32_all_match":true,"int8_all_match":true,"path":"onnx-parity.json"},"qualification":"experimental-teacher-local-testing-only","schema_version":"browser-deployment-v1","training_implementation":"deterministic-trainer-v17","trial_evidence":{"confidence_calibration_complete":false,"fp32_evaluation_complete":true,"quantized_domain_evaluation_complete":false,"release_qualified":false},"variants":{"reference":{"decoder":"decoder-step.fp32.onnx","encoder":"encoder.fp32.onnx","precision":"fp32"},"wasm":{"decoder":"decoder-step.int8.onnx","encoder":"encoder.int8.onnx","precision":"dynamic-int8"},"webgpu":{"decoder":"decoder-step.fp16.onnx","encoder":"encoder.fp16.onnx","precision":"fp16"}}} | |