| { |
| "args.json": { |
| "corpus": "data/corpus/binkit_x86_64", |
| "task": "opt4", |
| "out": "results/hopper_release/opt4_wide_seed29/opt4", |
| "splits": "default", |
| "init_from": "results/hopper_release/opt4_wide_seed29/mlm2048", |
| "from_scratch": false, |
| "tag": "opt4_wide_seed29", |
| "arch": null, |
| "extra": null, |
| "compiler": null, |
| "version": null, |
| "test_version": null, |
| "train_compiler": null, |
| "max_seqs_per_binary": null, |
| "stride": 512, |
| "val_frac": 0.15, |
| "val_seed": 1234, |
| "split_mode": "program", |
| "seq_bytes": 2048, |
| "eval_window_bytes": 512, |
| "jitter": 0, |
| "pos_extend": "tile", |
| "pool": "border", |
| "pool_heads": 4, |
| "mil_tau": 1.0, |
| "taper": 32, |
| "dropout": null, |
| "classifier_dropout": 0.1, |
| "epochs": 6, |
| "batch_size": 4, |
| "grad_accum": 8, |
| "lr": 3e-05, |
| "head_lr": 0.0001, |
| "llrd": 1.0, |
| "weight_decay": 0.01, |
| "warmup_ratio": 0.06, |
| "clip_grad": 1.0, |
| "label_smoothing": 0.0, |
| "use_pairs": false, |
| "pair_loss": 0.0, |
| "pair_ce": 1.0, |
| "pair_margin": 1.0, |
| "pairs_per_batch": 32, |
| "pair_min_size": 32, |
| "pair_jitter": 64, |
| "workers": 6, |
| "seed": 29, |
| "resume": true, |
| "log_every": 100, |
| "val_max_seqs": 40000, |
| "tta": "none", |
| "tta_views": 4, |
| "tta_span": 128, |
| "save_probs": true, |
| "no_save_weights": false |
| }, |
| "result.json": { |
| "tag": "opt4_wide_seed29", |
| "task": "opt4", |
| "scored_classes": [ |
| "O0", |
| "O1", |
| "O2", |
| "O3" |
| ], |
| "args": { |
| "corpus": "data/corpus/binkit_x86_64", |
| "task": "opt4", |
| "out": "results/hopper_release/opt4_wide_seed29/opt4", |
| "splits": "default", |
| "init_from": "results/hopper_release/opt4_wide_seed29/mlm2048", |
| "from_scratch": false, |
| "tag": "opt4_wide_seed29", |
| "arch": null, |
| "extra": null, |
| "compiler": null, |
| "version": null, |
| "test_version": null, |
| "train_compiler": null, |
| "max_seqs_per_binary": null, |
| "stride": 512, |
| "val_frac": 0.15, |
| "val_seed": 1234, |
| "split_mode": "program", |
| "seq_bytes": 2048, |
| "eval_window_bytes": 512, |
| "jitter": 0, |
| "pos_extend": "tile", |
| "pool": "border", |
| "pool_heads": 4, |
| "mil_tau": 1.0, |
| "taper": 32, |
| "dropout": null, |
| "classifier_dropout": 0.1, |
| "epochs": 6, |
| "batch_size": 4, |
| "grad_accum": 8, |
| "lr": 3e-05, |
| "head_lr": 0.0001, |
| "llrd": 1.0, |
| "weight_decay": 0.01, |
| "warmup_ratio": 0.06, |
| "clip_grad": 1.0, |
| "label_smoothing": 0.0, |
| "use_pairs": false, |
| "pair_loss": 0.0, |
| "pair_ce": 1.0, |
| "pair_margin": 1.0, |
| "pairs_per_batch": 32, |
| "pair_min_size": 32, |
| "pair_jitter": 64, |
| "workers": 6, |
| "seed": 29, |
| "resume": true, |
| "log_every": 100, |
| "val_max_seqs": 40000, |
| "tta": "none", |
| "tta_views": 4, |
| "tta_span": 128, |
| "save_probs": true, |
| "no_save_weights": false |
| }, |
| "best_epoch": 4, |
| "best_val_accuracy": 0.776125, |
| "test": { |
| "accuracy": 0.8422554826729481, |
| "balanced_accuracy": 0.8309510174499452, |
| "confusion": [ |
| [ |
| 37645, |
| 14, |
| 34, |
| 19 |
| ], |
| [ |
| 10, |
| 21157, |
| 1149, |
| 636 |
| ], |
| [ |
| 1, |
| 2449, |
| 17545, |
| 6190 |
| ], |
| [ |
| 1, |
| 1860, |
| 5986, |
| 21625 |
| ] |
| ], |
| "n": 116321 |
| }, |
| "test_tta": null, |
| "history": [ |
| { |
| "epoch": 0, |
| "val_accuracy": 0.714775, |
| "val_balanced_accuracy": 0.7049004306882054, |
| "val_n": 40000 |
| }, |
| { |
| "epoch": 1, |
| "val_accuracy": 0.75455, |
| "val_balanced_accuracy": 0.735723491217099, |
| "val_n": 40000 |
| }, |
| { |
| "epoch": 2, |
| "val_accuracy": 0.75315, |
| "val_balanced_accuracy": 0.7330662254462548, |
| "val_n": 40000 |
| }, |
| { |
| "epoch": 3, |
| "val_accuracy": 0.767475, |
| "val_balanced_accuracy": 0.7509352274830212, |
| "val_n": 40000 |
| }, |
| { |
| "epoch": 4, |
| "val_accuracy": 0.776125, |
| "val_balanced_accuracy": 0.7567212069146406, |
| "val_n": 40000 |
| }, |
| { |
| "epoch": 5, |
| "val_accuracy": 0.7684, |
| "val_balanced_accuracy": 0.7490872252223905, |
| "val_n": 40000 |
| } |
| ], |
| "n_train_sequences": 264459, |
| "wall_clock": "6h54m" |
| }, |
| "head.json": { |
| "num_labels": 4, |
| "pool": "border", |
| "pool_heads": 4, |
| "mil_tau": 1.0, |
| "task": "opt4", |
| "tag": "opt4_wide_seed29" |
| }, |
| "binprov_config.json": { |
| "seq_bytes": 2048, |
| "hidden_size": 768, |
| "num_hidden_layers": 12, |
| "num_attention_heads": 12, |
| "intermediate_size": 3072, |
| "max_segments": 2, |
| "hidden_dropout_prob": 0.1, |
| "attention_probs_dropout_prob": 0.1 |
| }, |
| "source_checkpoint": "results/hopper_release/opt4_wide_seed29/opt4", |
| "labels": { |
| "task": "opt4", |
| "classes": [ |
| "O0", |
| "O1", |
| "O2", |
| "O3" |
| ], |
| "label_map": { |
| "0": "O0", |
| "1": "O1", |
| "2": "O2", |
| "3": "O3" |
| }, |
| "num_labels": 4 |
| }, |
| "environment": { |
| "python": "3.12.1", |
| "platform": "Linux-4.18.0-553.137.1.el8_10.x86_64-x86_64-with-glibc2.28", |
| "sys.platform": "linux", |
| "torch": "2.8.0+cu128", |
| "transformers": "4.55.4", |
| "numpy": "2.3.3" |
| }, |
| "summary": { |
| "model_name": "binprov", |
| "exported_from": "results/hopper_release/opt4_wide_seed29/opt4", |
| "created_at": "2026-09-06T07:48:37+00:00", |
| "files": [ |
| ".cache/huggingface/.gitignore", |
| ".cache/huggingface/upload/LICENSE.metadata", |
| ".cache/huggingface/upload/MODEL_CARD.md.metadata", |
| ".cache/huggingface/upload/README.md.metadata", |
| ".cache/huggingface/upload/binprov/__init__.py.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/__init__.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/corpus.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/data.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/discover.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/elf.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/metrics.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/model.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/provenance.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/vocab.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/__pycache__/vote.cpython-312.pyc.metadata", |
| ".cache/huggingface/upload/binprov/corpus.py.metadata", |
| ".cache/huggingface/upload/binprov/data.py.metadata", |
| ".cache/huggingface/upload/binprov/discover.py.metadata", |
| ".cache/huggingface/upload/binprov/elf.py.metadata", |
| ".cache/huggingface/upload/binprov/metrics.py.metadata", |
| ".cache/huggingface/upload/binprov/model.py.metadata", |
| ".cache/huggingface/upload/binprov/provenance.py.metadata", |
| ".cache/huggingface/upload/binprov/vocab.py.metadata", |
| ".cache/huggingface/upload/binprov/vote.py.metadata", |
| ".cache/huggingface/upload/binprov_config.json.metadata", |
| ".cache/huggingface/upload/environment.json.metadata", |
| ".cache/huggingface/upload/evidence/args.json.metadata", |
| ".cache/huggingface/upload/evidence/evaluation.json.metadata", |
| ".cache/huggingface/upload/evidence/probs.npz.metadata", |
| ".cache/huggingface/upload/evidence/result.json.metadata", |
| ".cache/huggingface/upload/head.json.metadata", |
| ".cache/huggingface/upload/inference.py.metadata", |
| ".cache/huggingface/upload/inference_config.json.metadata", |
| ".cache/huggingface/upload/labels.json.metadata", |
| ".cache/huggingface/upload/metadata.json.metadata", |
| ".cache/huggingface/upload/model/binprov_config.json.metadata", |
| ".cache/huggingface/upload/model/head.json.metadata", |
| ".cache/huggingface/upload/model/inference_config.json.metadata", |
| ".cache/huggingface/upload/model/labels.json.metadata", |
| ".cache/huggingface/upload/model/model.pt.metadata", |
| ".cache/huggingface/upload/requirements.txt.metadata", |
| ".gitignore", |
| "LICENSE", |
| "MODEL_CARD.md", |
| "README.md", |
| "binprov/__init__.py", |
| "binprov/corpus.py", |
| "binprov/data.py", |
| "binprov/discover.py", |
| "binprov/elf.py", |
| "binprov/metrics.py", |
| "binprov/model.py", |
| "binprov/provenance.py", |
| "binprov/vocab.py", |
| "binprov/vote.py", |
| "binprov_config.json", |
| "environment.json", |
| "evidence/args.json", |
| "evidence/evaluation.json", |
| "evidence/probs.npz", |
| "evidence/result.json", |
| "head.json", |
| "inference.py", |
| "inference_config.json", |
| "labels.json", |
| "metadata.json", |
| "model/binprov_config.json", |
| "model/head.json", |
| "model/inference_config.json", |
| "model/labels.json", |
| "model/model.pt", |
| "requirements.txt" |
| ], |
| "sequence_accuracy": 0.842255, |
| "binary_accuracy": 0.93883, |
| "transformers_compatible": false, |
| "note": "BinProv-native PyTorch checkpoint; use the bundled inference.py runtime.", |
| "verification": { |
| "verified": true, |
| "device": "cpu", |
| "windows": 4, |
| "mean_prob": [ |
| 0.5000002359981011, |
| 0.4999849506011037, |
| 6.91615203089746e-06, |
| 7.897442639431818e-06 |
| ], |
| "prediction": 0 |
| } |
| } |
| } |
|
|
