chakshugupta13/labArtefatti di codice provenienti da implementazioni di articoli di ricerca
Artefatti di codice pubblico provenienti da attività di ricerca.
Implementazioni e codice di supporto per specifici paper di ricerca.
| Anchor | Descrizione |
|---|---|
| gupta2026lenia | Logica basata sulle collisioni in Lenia e il suo confine di composizione — un gate INHIBIT emergente e una cascata AND-NOT dalle collisioni del glider Orbium, oltre al confine misurato verso la composizione generale (arXiv:2609.01348) |
| Anchor | Descrizione |
|---|---|
| gupta2026exergy | Verifica numerica di limiti netti di correzione dell'exergia per assorbitori selettivi in regime di allocazione lineare |
| Anchor | Descrizione |
|---|---|
| gupta2026architecture | Bias di recuperabilità indotto dall'architettura nella regressione simbolica differenziabile (arXiv:2604.23256, MLSP 2026) |
| gupta2026origami | Sequenza dei gradi e diametro del grafo dei flip dell'origami Miura-ori $m\times n$, tramite funzioni di altezza (arXiv:2606.22614) |
| gupta2026degseq | Una costruzione per la sequenza dei gradi del grafo dei flip Miura-ori $m\times n$, che calcola ogni grado tramite una costruzione a inviluppo / punti reticolari (arXiv:2607.05567) — seguito di gupta2026origami |
| gupta2026saturation | Il numero di saturazione non è limitato dall'indice armonico (arXiv:2606.15761) — confutazione della Congettura 4 di TxGraffiti (arXiv:2507.17780) |
| gupta2026annihilation | Un limite di Caro–Wei sul numero di annichilazione dimostra $\alpha \ge (a+R)/\Delta$ per ogni grafo connesso (arXiv:2606.29553) — dimostrazione della Congettura 1 di TxGraffiti (arXiv:2507.17780) |
| gupta2026edgedomination | Numero di dominazione al più pari al numero di dominazione degli archi per grafi regolari di grado almeno sette, tramite il Lemma Locale di Lovász (arXiv:2608.22498) — l'intervallo precedentemente aperto di una congettura di Baste et al. (arXiv:1906.10420); inviato a Graphs and Combinatorics |
| Anchor | Descrizione |
|---|---|
| sanadhya2008 | Attacchi di collisione SHA-256 a 22 e 24 step |
| mendel2011 | Collisioni SHA-256 a 27/32 step tramite SAT + nuovi risultati (famiglia di collisioni 32K, speedup del phase-seed di 10×, caratterizzazione di W[7]) |
| mendel2013improving | Collisioni SHA-256 a 28/31/38 step tramite SAT su caratteristiche dense |
| eichlseder2014 | Collisione SFS SHA-512 a 38 step tramite SAT + analisi del plateau GnD |
| lamberger2011 | Differenziale del secondo ordine SHA-256 a 46 step: analisi della modifica del messaggio (decomposizione a due livelli, complessità rivista 2⁴⁷·⁶) |
| de2006finding-workfactor | Calcolatore del work-factor per SHA-1 (De Cannière–Rechberger 2006 §III-C), prima reimplementazione indipendente |
| gupta2026rank | Limite di rango per guasti da perturbazione dei twiddle sulla NTT diretta di ML-KEM e ML-DSA (ePrint 2026/1188, arXiv:2610.30383) |
| zhang2026-verification | Verifica delle collisioni SFS + caratteristica corretta della Tabella 8 per Zhang–Li–Gao–Wang, EUROCRYPT 2026 |
Utility autonome non legate a un singolo paper. Organizzate per dominio.
| Strumento | Descrizione |
|---|---|
| learning-pipeline | Pipeline di riferimento che migliora la configurazione di un assistente AI integrato nell'editor a partire dalle correzioni implicite di un singolo utente — sei rilevatori strutturali più un miner semantico L2, modifiche alle istruzioni soggette a supervisione umana e monitoraggio dell'efficacia |
| Strumento | Descrizione |
|---|---|
| qbudget | Riporta la contabilità del conteggio T e della scomputazione AND per gli oracoli di Grover compute-uncompute in Qiskit o Q# |
