{
 "id": "callensxavier/leanflow-phase12-benchmark",
 "owner": "callensxavier",
 "name": "leanflow-phase12-benchmark",
 "downloads": 158,
 "likes": 0,
 "last_modified": "2026-09-04T19:09:31.000Z",
 "stated_licence": "apache-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [
  "other"
 ],
 "citation": "@techreport{callens2026leanflow,\n  title   = {LeanFlow: Dual-Scale Navier--Stokes Regularisation with Lean 4 Formal\n             Verification and Karpathy Ratchet Auto-Research},\n  author  = {Xavier Callens},\n  year    = {2026},\n  month   = {September},\n  note    = {Enterprise Edition v2.0 (Revised per Peer Review), Phase 12},\n  url     = {https://github.com/xaviercallens/SocrateAI-Numeric-DualScale-Solver}\n}",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "11a8a3cf69aad1f8a3602daa27687e1027322186",
 "stated_evidence": "https://huggingface.co/datasets/callensxavier/leanflow-phase12-benchmark/blob/11a8a3cf69aad1f8a3602daa27687e1027322186/README.md",
 "file_evidence": "https://huggingface.co/datasets/callensxavier/leanflow-phase12-benchmark/tree/11a8a3cf69aad1f8a3602daa27687e1027322186",
 "card_nc": false
}