Mapa vivo · 39 papers
Um mapa curado e não exaustivo das ideias de franklinbaldo/papers cuja publicação no blog foi explicitamente autorizada. Qual é a ideia? Quão madura ela está? Como conversa com as outras?
Publicação aqui é opt-in: a ausência de um paper não indica inexistência, abandono ou avaliação negativa. Tier científico mede maturidade, formalização e contato com evidência dentro do domínio. Interesse mede fertilidade para experimentos, conexões e perguntas. Os tiers são uma fotografia comparativa, não um selo de verdade. Quase tudo é trabalho próprio, em grande parte não revisado por pares.
Cada conexão vem do card OKF do paper de origem.
tests
Leva hipóteses de proximidade semântica e comparação de decisões a um programa empírico no TJRO; o primeiro Q1p executado testa apenas o braço de geração estruturada, enquanto Q3/ESHTR permanece prospectivo.
applies
Usa identidades de intervenção para relacionar genoma, desenvolvimento, circuito, atividade e comportamento sem exigir coordenadas comuns; o novo passo é inferir ensembles phenotype-compatible ao longo dessa cadeia.
extends
Transforma a discussão geral sobre precedentes numa taxonomia operacional, competência-sensível e não exaustiva.
applies
Usa a distinção entre teto de privilégio e custo de affordances de pesquisa para enquadrar o rehosting sem confundir aumento de capacidade prática com aumento de autorização.
applies
Aplica uma lente de incentivos ao canal institucional do Paper 1D e pergunta quando argumentos auditáveis realmente chegam e recebem resposta.
formalizes
Formaliza a extensão dinâmica do Atlas com um campo externo congelado e um teste de compressão residual.
extends
Refina a série guarda-chuva com uma regra prática de redação e um teste específico para distinguir integração de nova cognição.
shares mechanism with
Os dois papers usam o MaleCNS como operador recorrente congelado e exigem comparação contra rewires e controladores artificiais; FlyDecode transfere essa disciplina de controle fechado do domínio veicular para decisões sequenciais de tokens e feedback atrasado.
tests
Testa o canal relay sob recuperação exata, supressão literal, transferência e controles de private code.
contrasts with
Contrasta códigos semânticos fixados offline com representações que emergem durante o próprio ensino.
applies
Aplica a arquitetura relay à pergunta de onde agência e falhas por composição realmente residem.
formalizes
Transforma a ponte dogmática-formal em um pipeline explícito de representação, prova e revisão jurídica.
extends
Estende proveniência para a admissão certificada de artefatos no conhecimento público.
shares mechanism with
Compartilha o mecanismo de crescimento cumulativo de um repertório que passa a melhorar aprendizes posteriores.
provides control for
Fornece controles não-agentes fortes para impedir que ordem ou compressão sejam confundidas automaticamente com agência.
shares mechanism with
Compartilha a redução do custo informacional: o Paper 1E trata produção e engajamento; este trata verificação repetida e confiança local.
applies
Aplica a disciplina de proveniência ao problema de crédito científico em nível de claim.
extends
Estende a geometria global do Atlas para charts locais e estrutura manifold-aware.
tests
Testa uma premissa estática e estreita da linha: alinhamento local parcial entre observadores em escala.
extends
Estende a medição estática de acordo local para resolução, parallax e fusão entre múltiplos observadores.
synthesizes
Incorpora a delimitação dos embargos de declaração e o teste de determinação única como peça dogmática do programa.
synthesizes
Integra a taxonomia competência-sensível das respostas a precedentes.
synthesizes
Usa o mapa de categorias processuais e suas heurísticas explicitamente delimitadas como ponte para formalização.
synthesizes
Incorpora o diálogo institucional apenas pelos canais e competências juridicamente cabíveis.
synthesizes
Trata redução de custos argumentativos como hipótese condicional sujeita ao canal rival de aumento de ruído e triagem.
synthesizes
Mantém reputação como mecanismo local e observável antes de qualquer extrapolação sistêmica.
synthesizes
Propaga a correção 1939/1940, a hipótese histórica estreita de forma de absorção e mantém aberta a continuidade pré/pós-1988.
synthesizes
Combina topologia argumentativa, consequência formal e revisão jurídica como superfícies distintas de auditoria.
frames
Incorpora o primeiro piloto Q1p negativo sem confundi-lo com teste da pipeline Lean completa; Q1/Q2/Q3 permanecem prospectivos.
tests
Testa quando uma observação inicialmente opaca passa a carregar valor preditivo depois que a representação é aprendida.
extends
Refina a linha guarda-chuva com uma arquitetura competência-sensível de diálogo entre decisão inferior, reclamação e STF.
applies
Aplica a ideia de representação/tokenização a histórias causais e a um relógio operacional de reconhecimento.
extends
Transforma a pergunta antiga de um reservoir reduzido e open-loop num teste do connectome inteiro dentro de um ciclo sensor → CNS → ação → ambiente → reforço, preservando controles explícitos.
Parte de prever o próximo bit e pergunta se um professor procedural pode fazer nascer, durante o próprio ensino, símbolos estáveis e reutilizáveis que depois ajudam a adquirir algoritmos.
Pergunta quando ordem observada já justifica falar em agente: uma flutuação, uma lei estruturada externa e um agente podem produzir sinais organizados, então o modelo de agência precisa vencer alternativas não-agentes fortes e continuar prevendo ou respondendo melhor a intervenções.
Pergunta como um aprendiz pode distinguir ruído, opacidade temporária, padrão acidental e ocultação, e testar se uma observação antiga se torna realmente útil depois que aprende uma estrutura capaz de reinterpretá-la.
Trata tempo informacional como o custo acumulado das distinções causais recuperáveis ao longo do caminho realmente percorrido, separando esse custo da descrição simbólica comprimida que depois pode representar a mesma história.
Em vez de tentar tornar um agente internamente perfeito, restringe o que ele consegue fazer no mundo: ações disponíveis, efeitos, aprovações e rastros ficam deliberadamente estreitos e auditáveis.
Pré-registra um teste de comunicação composta: pequenos relays treinados por RL só podem editar ou recuperar texto entre chamadas de LLMs black-box, e o receptor final deve reconstruir exatamente um alvo benigno mesmo quando o literal não aparece nos outputs intermediários.
Pergunta onde exatamente está a agência quando vários modelos e transdutores aprendidos formam uma cadeia: em cada modelo, nos intermediários ou no sistema composto inteiro.
Define descoberta de máquina não como gerar uma saída nova, mas como uma transição auditável no conhecimento público: o artefato precisa ser certificado, comparado a um snapshot anterior e ter proveniência atribuível; descoberta recursiva exige ainda ganho causal para aprendizes posteriores.
Mostra que machine teaching, tempo informacional, extração de sinais, descoberta, transdutores e agência intersticial podem ser lidos como partes de um mesmo programa: sistemas que inventam representações e canais enquanto aprendem a interagir.
Coloca transdutores discretos treináveis entre modelos maiores e combina esse canal com memória associativa: recall semântico propõe candidatos, enquanto uma chave funcional separada tenta aprender quais memórias realmente ajudam a recompensa downstream.
Reformula a ética também como um problema de autodefinição do agente ao longo do tempo. Uma declaração, princípio ou exemplar aponta para uma identidade-alvo, mas não a torna verdadeira: as trajetórias de ação fornecem evidência sobre qual política está de fato sendo instanciada, e intervenções em contextos diferentes testam se essa identidade permanece reconhecível. O paper separa explicitamente integridade de bondade normativa, de modo que um agente coerentemente ruim continua sendo representável.
A singularidade não é tratada como reservatório de energia: o próprio scaling faz a energia do core tender a zero. A pergunta útil é se uma versão pré-singular da geometria anisotrópica de vórtices pode sobreviver em MHD compressível tempo suficiente para aumentar densidade e confinamento e thermalizar shear em calor útil, medido contra controles com o mesmo trabalho de driver.
Congela um campo vetorial externo antes de observar as transições dos modelos e pergunta se cada dinâmica pode ser descrita como uma amplitude de baixa capacidade sobre esse campo mais um residual mais simples.
Imagina um espaço semântico com pontos de referência artificiais — como estrelas num mapa — para medir posição, distância, alcançabilidade e custo de mover um sistema entre regiões de significado.
Substitui a ideia de um espaço semântico global simples por vários mapas locais, tentando respeitar curvas, gargalos e direções que vivem perto do suporte real dos dados.
Testa uma pergunta mais estreita que o Atlas conceitual: dois embedders independentes preservam parte dos mesmos vizinhos locais quando a galeria cresce? Em 32 galerias pré-registradas por escala, Qwen3-Embedding e MiniLM mantêm overlap local calibrado acima do acaso de 1 mil a 100 mil textos, mas continuam muito abaixo da estabilidade do próprio observador.
Trata cada embedding como um observador parcial, não como o próprio espaço semântico: mede quais relações ele consegue enxergar em cada escala, onde distorce estrutura e o que sobra como parallax depois de alinhar modelos.
Trata sistemas de representação inteiros como vértices e cada identidade experimental compartilhada como uma aresta, mesmo quando cada substrato realiza fisicamente o contraste de maneira diferente. A aresta diz apenas que a mesma pergunta experimental pode ser operacionalizada nos dois lados; similaridade, alinhamento, causalidade e geometria aparecem depois como medições, não como premissas.
Agrupa decisões semanticamente próximas por embeddings, faz comparações pareadas com um júri heterogêneo de LLMs dentro de cada grupo e depois compara vencedores entre grupos. A hipótese testável restante é condicional: distância semântica pode piorar a estabilidade do julgamento mesmo depois de controlar dificuldade/margem de qualidade e outros confundidores.
Pergunta quando um conjunto limitado de verdades é suficiente para identificar uma estrutura dentro de uma classe de hipóteses — e torna explícito o papel do custo e da equivalência entre explicações.
Separa três superfícies de auditoria: Argdown torna ataques e apoios legíveis; Lean verifica o que realmente decorre de premissas explícitas e expõe suas dependências com `#print axioms`; uma etapa jurídica independente pergunta se essas premissas representam adequadamente as fontes e os fatos.
Rastreia uma claim ao longo de documentos processuais separando origem e papel argumentativo em cada etapa: uma afirmação pode ser contingente na fonte e virar load-bearing depois, e dúvidas de proveniência permanecem explícitas como pendentes nas dependências formais.
Transforma uma pergunta nebulosa — quando um trabalho posterior parece dever crédito bibliográfico a uma claim anterior? — num índice auditável por claim, separando prioridade pública, overlap substantivo, discoverability histórica e crédito efetivamente recebido.
Propõe mover a sequência principal de treino de subwords para chunks semânticos sobrepostos: um teacher fixo produz embeddings, RVQ os discretiza em códigos, o Transformer prevê esses códigos e a saída volta a texto por representantes reais do corpus.
Usa um fenótipo comportamental conhecido como restrição inversa: em vez de tentar simular toda a cadeia gene → desenvolvimento → circuito → comportamento, procura muitas famílias diferentes de circuitos ou programas desenvolvimentais capazes de reproduzir a mesma história comportamental e pergunta quais propriedades sobrevivem entre essas soluções. Essas invariantes viram hipóteses biológicas que só contam de verdade se forem congeladas antes de abrir a evidência molecular, anatômica ou fisiológica retida.
Trata a distribuição de próximos tokens de um LLM congelado como uma cena sensorial, não como decisão final. Antes de emitir um token, um controlador recorrente derivado do MaleCNS pode gastar micro-passos baratos consultando estatísticas já cacheadas dos logits, contexto e memória episódica; essa memória guarda trajetórias de como o campo de logits evoluiu depois de ações anteriores e que recompensa apareceu mais tarde. O programa também propõe aterrar instruções em linguagem natural num pequeno Valence Program verificável, para testar se paráfrases e composições diferentes produzem a mesma trajetória funcional de valoração, atenção, memória e compromisso. A hipótese forte não é que a mosca “entenda linguagem”, mas que sua topologia recorrente possa funcionar como viés indutivo para decisões stateful sob incerteza e feedback atrasado.
Testa se um subgrafo real do sistema nervoso da mosca, usado como reservoir recorrente congelado, acrescenta sinal útil para tagging byte a byte de texto jurídico quando comparado com um grafo degree-preserving embaralhado e com um baseline sem recorrência.
Coloca o MaleCNS v1.0 inteiro como substrato recorrente congelado dentro de um closed loop reality-bounded: sinais veiculares lícitos entram por endereços sensoriais declarados, atividade descendente vira throttle e sinais PAM/PPL1 funcionam como proxies de melhora ou piora. O teste pergunta se a topologia biológica e escolhas biologicamente motivadas de entrada/readout acrescentam controle útil além de randomizações, um adapter sem grafo e controle PI convencional.
Testa em decisões reais do TJRO se uma forma estruturada do programa de raciocínio jurídico auditável melhora a validade processual de peças geradas por LLM, preservando separadamente o desenho confirmatório futuro da pipeline Lean completa.
Mapeia pedidos, provimentos, escopo recursal e proveniência do processo civil para objetos formais sem transformar ambiguidades jurídicas em regras computacionais falsas; quando uma decisão colegiada não tem fundamento majoritário demonstrável, preserva rationes candidatas e incerteza em vez de fabricar uma ratio vinculante.
Organiza cinco situações analíticas para auditar o tratamento de precedente vinculante sem fingir que são cinco poderes equivalentes: aplicação justificada, distinção, reconhecimento de revisão pela autoridade competente, contestação ou não aplicação concreta quando juridicamente admitida e não incidência porque uma questão dispositiva independente resolve o caso. Também delimita a aplicação parcial silenciosa como defeito de fundamentação auditável.
Propõe uma hipótese condicional para o sistema brasileiro: reduzir o custo de produzir argumento só importa institucionalmente quando aumenta qualidade/auditabilidade, o argumento consegue alcançar o órgão competente por canal processual adequado e há engajamento observável. O mecanismo compete com um canal oposto em que IA barata aumenta volume, ruído e custo de triagem sem melhorar a resposta judicial.
Junta dois problemas processuais que costumam ser tratados separadamente: quando sanar um vício por Embargos de Declaração pode modificar o resultado sem virar um novo julgamento, e como uma decisão deve lidar com precedente vinculante sem confundir dever de fundamentação com competência para revisar a tese. A síntese usa o limite de determinação única no primeiro eixo e, no segundo, um mapa de respostas que inclui a aplicação parcial silenciosa como categoria de auditoria da fundamentação.
Parte de uma distinção simples: Embargos de Declaração corrigem obscuridade, contradição, omissão ou erro material mesmo quando o defeito toca o mérito. Se a correção necessariamente muda o resultado, a modificação vem da própria integração, não de um pedido autônomo de “efeitos infringentes”. A proposta residual mais estreita é reservar a ideia de integração recognitiva aos casos em que os compromissos já assumidos pela decisão determinam univocamente a resposta omitida.
Pergunta se características do campo jurídico receptor ajudam a explicar não a origem nem a forma doutrinária do livre convencimento, mas a persistência de um padrão de enforcement em que a fundamentação precisa existir sem que sua suficiência seja controlada com a mesma intensidade.
Estreita a hipótese reputacional para um canal local: quando certas propriedades de uma peça podem ser verificadas de forma barata e reproduzível, observações repetidas do mesmo praticante por uma unidade institucional podem atualizar uma crença local de confiabilidade. Isso não implica automaticamente reputação de rede, democratização sistêmica nem um score de advogado.
Costura dogmática, representação formal, avaliação comparativa e hipóteses institucionais num programa único de raciocínio jurídico auditável, mantendo explícita a fronteira entre o que o direito exige, o que um modelo formal representa e o que ainda precisa ser testado empiricamente.
Separa três coisas que versões anteriores misturavam: força vinculante, dever de fundamentação e competência para revisar o precedente. No domínio específico STF + súmula vinculante, a decisão inferior pode produzir um sinal argumentativo; uma reclamação cabível pode levar o conflito ao STF; e o tribunal deve engajar razões materiais sem transformar crítica bem fundamentada em autorização automática para revisão formal.
Instrumenta um driver rehosted com dois limites: a região fisicamente alocada e a fronteira lógica declarada pelo contrato de I/O, tratando o cruzamento dessa fronteira como evento bruto até haver evidência de intenção de saída.
Ciência D / interesse S pode significar uma ideia precoce e fértil. Ciência B / interesse B pode indicar maior maturidade e menos novas linhas. Promoções e rebaixamentos exigem mudanças materiais: resultados, formalização, críticas, reproduções e contradições.
Critério inspirado na metodologia pública de tiering, adaptado ao domínio: nem todo paper é uma Theory of Everything.