chakshugupta13/labArtefactos de código de implementaciones de artículos de investigación
Artefactos de código públicos procedentes de trabajos de investigación.
Implementaciones y código de apoyo para artículos de investigación específicos.
| Ancla | Descripción |
|---|---|
| gupta2026lenia | Lógica basada en colisiones en Lenia y su frontera de composición — una puerta INHIBIT emergente y una cascada AND-NOT a partir de colisiones de planeadores Orbium, además de la frontera medida hacia la composición general (arXiv:2609.01348) |
| Ancla | Descripción |
|---|---|
| gupta2026exergy | Verificación numérica de cotas nítidas de corrección de exergía para absorbedores selectivos bajo asignación lineal |
| Ancla | Descripción |
|---|---|
| gupta2026architecture | Sesgo de recuperabilidad inducido por la arquitectura en la regresión simbólica diferenciable (arXiv:2604.23256, MLSP 2026) |
| gupta2026origami | Secuencia de grados y diámetro del grafo de volteos del origami Miura-ori de $m\times n$, mediante funciones de altura (arXiv:2606.22614) |
| gupta2026degseq | Una construcción para la secuencia de grados del grafo de volteos Miura-ori de $m\times n$, que calcula cada grado mediante una construcción de envolvente / puntos reticulares (arXiv:2607.05567) — continuación de gupta2026origami |
| gupta2026saturation | El número de saturación no está acotado por el índice armónico (arXiv:2606.15761) — refutación de la Conjetura 4 de TxGraffiti (arXiv:2507.17780) |
| gupta2026annihilation | Una cota de Caro–Wei sobre el número de aniquilación demuestra que $\alpha \ge (a+R)/\Delta$ para todo grafo conexo (arXiv:2606.29553) — demostración de la Conjetura 1 de TxGraffiti (arXiv:2507.17780) |
| gupta2026edgedomination | El número de dominación es como mucho el número de dominación de aristas para grafos regulares de grado al menos siete, mediante el Lema Local de Lovász (arXiv:2608.22498) — el rango previamente abierto de una conjetura de Baste et al. (arXiv:1906.10420); enviado a Graphs and Combinatorics |
| Ancla | Descripción |
|---|---|
| sanadhya2008 | Ataques de colisión sobre SHA-256 de 22 y 24 pasos |
| mendel2011 | Colisiones de SHA-256 de 27/32 pasos mediante SAT + hallazgos novedosos (familia de colisiones de 32K, aceleración de 10× en semillas de fase, caracterización de W[7]) |
| mendel2013improving | Colisiones de SHA-256 de 28/31/38 pasos mediante SAT sobre características densas |
| eichlseder2014 | Colisión SFS de SHA-512 de 38 pasos mediante SAT + análisis de meseta de GnD |
| lamberger2011 | Diferencial de segundo orden de SHA-256 de 46 pasos: análisis de modificación de mensajes (descomposición en dos capas, complejidad revisada de 2⁴⁷·⁶) |
| de2006finding-workfactor | Calculadora de factor de trabajo de SHA-1 (De Cannière–Rechberger 2006 §III-C), primera reimplementación independiente |
| gupta2026rank | Techo de rango para fallos de perturbación de twiddle en la NTT directa de ML-KEM y ML-DSA (ePrint 2026/1188, arXiv:2610.30383) |
| zhang2026-verification | Verificación de colisiones SFS + característica corregida de la Tabla 8 para Zhang–Li–Gao–Wang, EUROCRYPT 2026 |
Utilidades independientes no vinculadas a un único artículo. Organizadas por dominio.
| Herramienta | Descripción |
|---|---|
| learning-pipeline | Pipeline de referencia que mejora la configuración de un asistente de IA integrado en el editor a partir de las correcciones implícitas de un usuario: seis detectores estructurales más un minero semántico L2, ediciones de instrucciones con aprobación humana y seguimiento de la efectividad |
| Herramienta | Descripción |
|---|---|
| qbudget | Informa la contabilidad de T-count y descomputación AND para oráculos de Grover de tipo compute-uncompute en Qiskit o Q# |
