
Code-Artefakte aus Implementierungen von Forschungsarbeiten
Öffentliche Code-Artefakte aus der Forschungsarbeit.
Implementierungen und unterstützender Code für spezifische Forschungsarbeiten.
| Anker | Beschreibung |
|---|---|
| gupta2026lenia | Kollisionsbasierte Logik in Lenia und ihre Kompositionsgrenze — ein emergentes INHIBIT-Gatter und eine AND-NOT-Kaskade aus Orbium-Gleiter-Kollisionen, plus die gemessene Grenze zur allgemeinen Komposition (arXiv:2609.01348) |
| Anker | Beschreibung |
|---|---|
| gupta2026exergy | Numerische Verifikation scharfer Exergie-Korrekturgrenzen für selektive Absorber unter linearer Allokation |
| Anker | Beschreibung |
|---|---|
| gupta2026architecture | Architekturinduzierte Wiederherstellbarkeitsverzerrung in differenzierbarer symbolischer Regression (arXiv:2604.23256, MLSP 2026) |
| gupta2026origami | Gradfolge und Durchmesser des $m\times n$ Miura-ori-Origami-Flip-Graphen, mittels Höhenfunktionen (arXiv:2606.22614) |
| gupta2026degseq | Eine Konstruktion für die Gradfolge des $m\times n$ Miura-ori-Flip-Graphen, die jeden Grad über eine Envelope-/Gitterpunkt-Konstruktion berechnet (arXiv:2607.05567) — Fortsetzung von gupta2026origami |
| gupta2026saturation | Die Sättigungszahl ist nicht durch den harmonischen Index beschränkt (arXiv:2606.15761) — Widerlegung von TxGraffiti Conjecture 4 (arXiv:2507.17780) |
| gupta2026annihilation | Eine Caro–Wei-Schranke für die Annihilationszahl beweist $\alpha \ge (a+R)/\Delta$ für jeden zusammenhängenden Graphen (arXiv:2606.29553) — Beweis von TxGraffiti Conjecture 1 (arXiv:2507.17780) |
| gupta2026edgedomination | Dominationszahl höchstens Kantendominationszahl für reguläre Graphen vom Grad mindestens sieben, mittels des Lovász Local Lemma (arXiv:2608.22498) — der zuvor offene Bereich einer Vermutung von Baste et al. (arXiv:1906.10420); eingereicht bei Graphs and Combinatorics |
| Anker | Beschreibung |
|---|---|
| sanadhya2008 | 22- und 24-Schritt-SHA-256-Kollisionsangriffe |
| mendel2011 | 27/32-Schritt-SHA-256-Kollisionen via SAT + neue Erkenntnisse (32K-Kollisionsfamilie, 10× Phasen-Seed-Beschleunigung, W[7]-Charakterisierung) |
| mendel2013improving | 28/31/38-Schritt-SHA-256-Kollisionen via SAT auf dichten Charakteristiken |
| eichlseder2014 | 38-Schritt-SHA-512-SFS-Kollision via SAT + GnD-Plateau-Analyse |
| lamberger2011 | 46-Schritt-SHA-256-Differential zweiter Ordnung: Nachrichtenmodifikationsanalyse (zweischichtige Zerlegung, revidierte 2⁴⁷·⁶-Komplexität) |
| de2006finding-workfactor | SHA-1-Work-Factor-Rechner (De Cannière–Rechberger 2006 §III-C), erste unabhängige Neuimplementierung |
| gupta2026rank | Rang-Obergrenze für Twiddle-Perturbationsfehler auf der Vorwärts-NTT von ML-KEM und ML-DSA (ePrint 2026/1188, arXiv:2610.30383) |
| zhang2026-verification | SFS-Kollisionsverifikation + korrigierte Charakteristik aus Tabelle 8 für Zhang–Li–Gao–Wang, EUROCRYPT 2026 |
Eigenständige Dienstprogramme, die nicht an eine einzelne Arbeit gebunden sind. Nach Domäne organisiert.
| Tool | Beschreibung |
|---|---|
| learning-pipeline | Referenz-Pipeline, die die Konfiguration eines in einen Editor eingebetteten KI-Assistenten aus den impliziten Korrekturen eines Nutzers verbessert — sechs strukturelle Detektoren plus ein semantischer L2-Miner, durch menschliche Freigabe gesteuerte Instruktionsänderungen und Wirksamkeitsverfolgung |
| Tool | Beschreibung |
|---|---|
| qbudget | Berichtet T-Count- und AND-Uncomputation-Abrechnung für Compute-Uncompute-Grover-Orakel in Qiskit oder Q# |