File size: 2,138 Bytes
5314958
 
0e833cf
7260ec8
5314958
 
 
 
 
 
 
 
 
 
7a752d8
5314958
 
0e833cf
5314958
 
b20dab1
0e833cf
7260ec8
0e833cf
5314958
85fd5e4
 
0e833cf
 
 
85fd5e4
 
 
0e833cf
 
 
85fd5e4
 
 
57e8edd
 
 
85fd5e4
89f51a9
 
 
7260ec8
89f51a9
 
63b3837
 
 
7260ec8
63b3837
 
7260ec8
7a752d8
 
 
 
 
 
7260ec8
 
 
 
 
5314958
 
 
0e833cf
7a752d8
7260ec8
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
{
  "schema_version": 1,
  "title": "Repro - CAffNet Constraint-Affine NN (20hdQQQrA4)",
  "emoji": "πŸ”—",
  "space_id": "DineshAI/20hdQQQrA4",
  "paper": {
    "arxiv_id": "2605.24437",
    "openreview_id": "20hdQQQrA4",
    "title": "CAffNet: Hard Constraint-Affine Neural Networks"
  },
  "tags": [
    "icml2026-repro",
    "paper-20hdQQQrA4"
  ],
  "updated_at": "2026-07-22T17:19:18+00:00",
  "root": {
    "slug": "index",
    "title": "Repro - CAffNet Constraint-Affine NN (20hdQQQrA4)",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "claim-c3-constraint",
        "title": "Claim 3 β€” Provable constraint adherence",
        "file": "pages/claim-c3-constraint/page.md",
        "children": []
      },
      {
        "slug": "methods-environment",
        "title": "Methods & environment",
        "file": "pages/methods-environment/page.md",
        "children": []
      },
      {
        "slug": "negative-controls",
        "title": "Negative controls",
        "file": "pages/negative-controls/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      },
      {
        "slug": "claim-caffnet-hard",
        "title": "Claim 0 β€” CAffNet hard constraint + universal approx",
        "file": "pages/claim-caffnet-hard/page.md",
        "children": []
      },
      {
        "slug": "claim-4-control",
        "title": "Claim 4 β€” safety-critical control",
        "file": "pages/claim-4-control/page.md",
        "children": []
      },
      {
        "slug": "claim-hardnet-unicycle-control",
        "title": "Claim 5 β€” named HardNet baseline on the paper's unicycle task",
        "file": "pages/claim-hardnet-unicycle-control/page.md",
        "children": []
      },
      {
        "slug": "claim-theorem35-exact-bound",
        "title": "Theorem 3.5 β€” exact universal-approximation bound",
        "file": "pages/claim-theorem35-exact-bound/page.md",
        "children": []
      }
    ]
  },
  "agent_view_tokens": 1368,
  "revision": "1784740758000"
}