chakshugupta13/labArtefatos de código de implementações de artigos de pesquisa
Artefatos de código públicos provenientes de trabalhos de pesquisa.
Implementações e código de suporte para artigos de pesquisa específicos.
| Âncora | Descrição |
|---|---|
| gupta2026lenia | Lógica baseada em colisões em Lenia e sua fronteira de composição — um portão INHIBIT emergente e uma cascata AND-NOT a partir de colisões de planadores Orbium, além da fronteira medida para composição geral (arXiv:2609.01348) |
| Âncora | Descrição |
|---|---|
| gupta2026exergy | Verificação numérica de limites precisos de correção de exergia para absorvedores seletivos sob alocação linear |
| Âncora | Descrição |
|---|---|
| gupta2026architecture | Viés de recuperabilidade induzido pela arquitetura em regressão simbólica diferenciável (arXiv:2604.23256, MLSP 2026) |
| gupta2026origami | Sequência de graus e diâmetro do grafo de flips do origami Miura-ori $m\times n$, via funções de altura (arXiv:2606.22614) |
| gupta2026degseq | Uma construção para a sequência de graus do grafo de flips Miura-ori $m\times n$, calculando cada grau via uma construção de envelope / pontos de reticulado (arXiv:2607.05567) — continuação de gupta2026origami |
| gupta2026saturation | O número de saturação não é limitado pelo índice harmônico (arXiv:2606.15761) — refutação da Conjectura 4 do TxGraffiti (arXiv:2507.17780) |
| gupta2026annihilation | Um limite de Caro–Wei para o número de aniquilação prova $\alpha \ge (a+R)/\Delta$ para todo grafo conexo (arXiv:2606.29553) — prova da Conjectura 1 do TxGraffiti (arXiv:2507.17780) |
| gupta2026edgedomination | Número de dominação no máximo igual ao número de dominação de arestas para grafos regulares de grau pelo menos sete, via Lema Local de Lovász (arXiv:2608.22498) — o intervalo anteriormente aberto de uma conjectura de Baste et al. (arXiv:1906.10420); submetido a Graphs and Combinatorics |
| Âncora | Descrição |
|---|---|
| sanadhya2008 | Ataques de colisão SHA-256 de 22 e 24 passos |
| mendel2011 | Colisões SHA-256 de 27/32 passos via SAT + descobertas inéditas (família de colisões de 32K, aceleração de 10× na semente de fase, caracterização de W[7]) |
| mendel2013improving | Colisões SHA-256 de 28/31/38 passos via SAT em características densas |
| eichlseder2014 | Colisão SFS SHA-512 de 38 passos via SAT + análise de platô GnD |
| lamberger2011 | Diferencial de segunda ordem SHA-256 de 46 passos: análise de modificação de mensagem (decomposição em duas camadas, complexidade revisada de 2⁴⁷·⁶) |
| de2006finding-workfactor | Calculadora de fator de trabalho SHA-1 (De Cannière–Rechberger 2006 §III-C), primeira reimplementação independente |
| gupta2026rank | Teto de posto para falhas de perturbação de twiddle na NTT direta de ML-KEM e ML-DSA (ePrint 2026/1188, arXiv:2610.30383) |
| zhang2026-verification | Verificação de colisão SFS + característica corrigida da Tabela 8 para Zhang–Li–Gao–Wang, EUROCRYPT 2026 |
Utilitários autônomos não vinculados a um único artigo. Organizados por domínio.
| Ferramenta | Descrição |
|---|---|
| learning-pipeline | Pipeline de referência que aprimora a configuração de um assistente de IA embutido no editor a partir das correções implícitas de um usuário — seis detectores estruturais mais um minerador semântico L2, edições de instruções com aprovação humana e acompanhamento de eficácia |
| Ferramenta | Descrição |
|---|---|
| qbudget | Relata a contabilização de T-count e de descomputação AND para oráculos de Grover de computação-descomputação em Qiskit ou Q# |
