chakshugupta13/labArtefacts de code issus de mises en œuvre d'articles de recherche
Artefacts de code publics issus de travaux de recherche.
Implémentations et code de support pour des articles de recherche spécifiques.
| Ancre | Description |
|---|---|
| gupta2026lenia | Logique basée sur les collisions dans Lenia et sa frontière de composition — une porte INHIBIT émergente et une cascade AND-NOT issues des collisions de planeurs Orbium, ainsi que la frontière mesurée vers la composition générale (arXiv:2609.01348) |
| Ancre | Description |
|---|---|
| gupta2026exergy | Vérification numérique de bornes fines de correction d'exergie pour des absorbeurs sélectifs sous allocation linéaire |
| Ancre | Description |
|---|---|
| gupta2026architecture | Biais de récupérabilité induit par l'architecture dans la régression symbolique différentiable (arXiv:2604.23256, MLSP 2026) |
| gupta2026origami | Séquence de degrés et diamètre du graphe de retournement de l'origami Miura-ori $m\times n$, via les fonctions de hauteur (arXiv:2606.22614) |
| gupta2026degseq | Une construction pour la séquence de degrés du graphe de retournement Miura-ori $m\times n$, calculant chaque degré via une construction d'enveloppe / de points de réseau (arXiv:2607.05567) — suite de gupta2026origami |
| gupta2026saturation | Le nombre de saturation n'est pas borné par l'indice harmonique (arXiv:2606.15761) — réfutation de la conjecture 4 de TxGraffiti (arXiv:2507.17780) |
| gupta2026annihilation | Une borne de Caro–Wei sur le nombre d'annihilation prouve $\alpha \ge (a+R)/\Delta$ pour tout graphe connexe (arXiv:2606.29553) — preuve de la conjecture 1 de TxGraffiti (arXiv:2507.17780) |
| gupta2026edgedomination | Nombre de domination inférieur ou égal au nombre de domination des arêtes pour les graphes réguliers de degré au moins sept, via le lemme local de Lovász (arXiv:2608.22498) — la plage auparavant ouverte d'une conjecture de Baste et al. (arXiv:1906.10420) ; soumis à Graphs and Combinatorics |
| Ancre | Description |
|---|---|
| sanadhya2008 | Attaques par collision SHA-256 à 22 et 24 étapes |
| mendel2011 | Collisions SHA-256 à 27/32 étapes via SAT + découvertes inédites (famille de collisions 32K, accélération de 10× sur les graines de phase, caractérisation de W[7]) |
| mendel2013improving | Collisions SHA-256 à 28/31/38 étapes via SAT sur des caractéristiques denses |
| eichlseder2014 | Collision SFS SHA-512 à 38 étapes via SAT + analyse de plateau GnD |
| lamberger2011 | Différentielle du second ordre SHA-256 à 46 étapes : analyse de modification de message (décomposition en deux couches, complexité révisée 2⁴⁷·⁶) |
| de2006finding-workfactor | Calculateur de facteur de travail SHA-1 (De Cannière–Rechberger 2006 §III-C), première réimplémentation indépendante |
| gupta2026rank | Plafond de rang pour les fautes par perturbation de twiddle sur la NTT directe de ML-KEM et ML-DSA (ePrint 2026/1188, arXiv:2610.30383) |
| zhang2026-verification | Vérification de collision SFS + caractéristique corrigée du tableau 8 pour Zhang–Li–Gao–Wang, EUROCRYPT 2026 |
Utilitaires autonomes non liés à un article unique. Organisés par domaine.
| Outil | Description |
|---|---|
| learning-pipeline | Pipeline de référence qui améliore la configuration d'un assistant IA intégré à un éditeur à partir des corrections implicites d'un utilisateur — six détecteurs structurels plus un mineur sémantique L2, des modifications d'instructions validées par un humain et un suivi de l'efficacité |
| Outil | Description |
|---|---|
| qbudget | Rapporte la comptabilisation du T-count et de la dé-calcul des AND pour les oracles de Grover compute-uncompute dans Qiskit ou Q# |
