Hugging Face's logo

viai957
/
align

lean4
theorem-proving
post-training
grpo
code
Model card Files
xet
 Community
align / code /bugfind /bench /ledger /baseline_fuzz_sample.jsonl
viai957's picture
viai957
Add files using upload-large-folder tool
4951e76 verified
Raw History Blame Contribute Delete
1.43 kB
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p1", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 14.7, "flagged": true, "status": "rc1", "cpu_seconds": 0.2}
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p2", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 0.3, "flagged": true, "status": "rc1", "cpu_seconds": 0.2}
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p3", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 0.3, "flagged": true, "status": "rc1", "cpu_seconds": 0.2}
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p4", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 0.3, "flagged": true, "status": "rc1", "cpu_seconds": 0.2}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p1", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 15.6, "flagged": false, "status": "ok", "cpu_seconds": 9.4}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p2", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 0.3, "flagged": false, "status": "ok", "cpu_seconds": 9.3}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p3", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 0.3, "flagged": false, "status": "ok", "cpu_seconds": 9.3}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p4", "arm": "fuzz", "cpu_budget": 8, "build_seconds": 0.3, "flagged": false, "status": "ok", "cpu_seconds": 9.3}