txus commited on
Commit
25ae673
Β·
verified Β·
1 Parent(s): 3c87be4

Update logbook: Repro - Solving Positive Linear Programs with Differential Privacy

Browse files
logbook.json CHANGED
@@ -10,7 +10,7 @@
10
  "icml2026-repro",
11
  "paper-zlSioMUQ2Y"
12
  ],
13
- "updated_at": "2026-07-17T10:33:43+00:00",
14
  "root": {
15
  "slug": "index",
16
  "title": "Repro - Solving Positive Linear Programs with Differential Privacy",
@@ -66,6 +66,6 @@
66
  }
67
  ]
68
  },
69
- "agent_view_tokens": 19027,
70
- "revision": "1784284423334061000"
71
  }
 
10
  "icml2026-repro",
11
  "paper-zlSioMUQ2Y"
12
  ],
13
+ "updated_at": "2026-07-17T10:34:22+00:00",
14
  "root": {
15
  "slug": "index",
16
  "title": "Repro - Solving Positive Linear Programs with Differential Privacy",
 
66
  }
67
  ]
68
  },
69
+ "agent_view_tokens": 19345,
70
+ "revision": "1784284462158436000"
71
  }
pages/claim-5-mwu-variants-for-mixed-packing-covering-algorithms-3-4/page.md CHANGED
@@ -168,3 +168,16 @@ The `alpha = 0.5` configuration finished: **T = 140,623 iterations at full lengt
168
  At `alpha = 0.5` the theorem permits **3,007,000** of the 4,000,000 constraints to be violated and the algorithm violates **zero**. Lemma 21's ratio bound tightens as `alpha` shrinks (1.8 β†’ 1.7 β†’ 1.5) and the measured ratio tracks it with room to spare (0.41 β†’ 0.41 β†’ 0.54).
169
 
170
  Raw results: [txus/private-positive-lp-repro](https://huggingface.co/datasets/txus/private-positive-lp-repro) (`gpu_mixed_n4000000.json`).
 
 
 
 
 
 
 
 
 
 
 
 
 
 
168
  At `alpha = 0.5` the theorem permits **3,007,000** of the 4,000,000 constraints to be violated and the algorithm violates **zero**. Lemma 21's ratio bound tightens as `alpha` shrinks (1.8 β†’ 1.7 β†’ 1.5) and the measured ratio tracks it with room to spare (0.41 β†’ 0.41 β†’ 0.54).
169
 
170
  Raw results: [txus/private-positive-lp-repro](https://huggingface.co/datasets/txus/private-positive-lp-repro) (`gpu_mixed_n4000000.json`).
171
+
172
+
173
+ ---
174
+ <!-- trackio-cell
175
+ {"type": "markdown", "id": "cell_0b56965698d8", "created_at": "2026-07-17T10:34:19+00:00", "title": "Where the mixed-LP raw results live"}
176
+ -->
177
+ The mixed-LP GPU results are archived at [txus/private-positive-lp-repro](https://huggingface.co/datasets/txus/private-positive-lp-repro):
178
+
179
+ - `gpu_alg3_n4000000.json` β€” Algorithm 3 at n = 4e6, alpha in {0.8, 0.7, 0.5}, all at full uncapped T
180
+ - `gpu_alg4_n4000000.json` β€” Algorithm 4 at n = 4e6, same alphas
181
+ - `gpu_sweep_n200000_d6.json` β€” Algorithm 1 swept over n = 1e5…2e6 (packing)
182
+
183
+ *(Housekeeping note: both mixed jobs originally wrote `gpu_mixed_n4000000.json`, so the Algorithm-3 run clobbered Algorithm-4's file on the Hub. Both were recovered and re-uploaded under distinct names, and `gpu_mixed.py` now names its artifact by the algorithms it contains. `gpu_mixed_n4000000.json` is left in place as a duplicate of the Alg-3 file.)*
pages/private-positive-lp-repro/page.md CHANGED
@@ -44,3 +44,12 @@ https://huggingface.co/buckets/txus/repro-solving-positive-linear-programs-with-
44
  **πŸ“¦ Artifact** `private-positive-lp-repro/repro-bundle:v4` Β· dataset Β· 0.01 GB
45
 
46
  trackio-artifact://private-positive-lp-repro/repro-bundle:v4
 
 
 
 
 
 
 
 
 
 
44
  **πŸ“¦ Artifact** `private-positive-lp-repro/repro-bundle:v4` Β· dataset Β· 0.01 GB
45
 
46
  trackio-artifact://private-positive-lp-repro/repro-bundle:v4
47
+
48
+
49
+ ---
50
+ <!-- trackio-cell
51
+ {"type": "artifact", "id": "cell_f4d75ae709cb", "created_at": "2026-07-17T10:34:19+00:00", "title": "Artifact: private-positive-lp-repro/repro-bundle:v5", "artifact": "private-positive-lp-repro/repro-bundle:v5", "artifact_type": "dataset"}
52
+ -->
53
+ **πŸ“¦ Artifact** `private-positive-lp-repro/repro-bundle:v5` Β· dataset Β· 0.01 GB
54
+
55
+ trackio-artifact://private-positive-lp-repro/repro-bundle:v5