# Program-as-Weights: A Programming Paradigm for Fuzzy Functions
> Ficha editorial pública de Research IA. Estado: Lectura primaria completa. La interpretación editorial no sustituye la fuente primaria.

- Página canónica: https://luiseduardodemiguel.com/research-ia/papers/program-as-weights-a-programming-paradigm-for-fuzzy-functions
- Fuente primaria: https://arxiv.org/abs/2607.02512
- Versión leída: v1
- Fuente comprobada: 2026-08-19 · lectura primaria completa; extracción editorial automatizada, revisión humana pendiente
- Autores: Wentao Zhang, Liliana Hotsko, Woojeong Kim, Pengyu Nie, Stuart Shieber, Yuntian Deng
- Fecha del corte: 2 JULIO 2026.
- Área: MEMORIA · CODING

## Tesis y contexto

Propone compilar una especificación en lenguaje natural en un artefacto neural pequeño y ejecutable localmente. Un compilador de 4B genera adaptadores para un intérprete Qwen3 de 0.6B, igualando prompting directo de Qwen3-32B con mucha menos memoria e inferencia local.

- Problema: Muchas funciones “difusas” —clasificar logs, reparar JSON, rankear por intención— se externalizan a APIs LLM caras y poco reproducibles.
- Por qué importa: Cambia el modelo mental: el LLM grande no responde cada llamada, sino que fabrica pequeñas funciones reutilizables.

## Evidencia reportada

- **reported-result**: We compare PAW against three families of baselines, all evaluated on the same test sets as PAW so that any compute or data-generation differences are absorbed in the comparison. [localizador](https://arxiv.org/html/2607.02512#S6)
- **reported-result**: A 0.6B-parameter interpreter executing PAW programs achieves 73.78% exact match on FuzzyBench, outperforming prompting Qwen3-32B (68.70%) while using approximately 50\times less inference memory ( \sim 1.2 GB at bf16 vs. [localizador](https://arxiv.org/html/2607.02512#S6)
- **reported-result**: GPT-2 124M, despite having only 1/5 the parameters of Qwen3 0.6B and no instruction tuning, still achieves 54%, suggesting that the compiler-generated LoRA can encode usable task adaptations even into very small, weakly-capable bases. [localizador](https://arxiv.org/html/2607.02512#S6)
- **reported-result**: PAW (LoRA) outperforms all VLM baselines (up to 4B parameters) on the three CoSyn diagram tasks (Circuit 0.274 vs. [localizador](https://arxiv.org/html/2607.02512#S6)

## Lectura y límite

- Método: La lectura de 2 Programs as Weights describe la intervención y su construcción: Let f:X\to Y denote a function whose behavior is more naturally specified through natural language, examples, or constraints than through symbolic code, a fuzzy function . Instead of repeatedly invoking an LLM to approximate f , we propose to compile a neural program that specializes a fixed model to implement f . Formally, let s denote a user specification, expressed in natural language and optionally accompanied by example input-output pairs (x,y) . A neural Compiler maps s to a program p . A small fixed neural Interpreter executes p on inputs x\in X to produce outputs \hat{y}\in Y :
- Límite: La lectura primaria permite comprobar método y resultados en el HTML, pero no convierte sus conclusiones en validación independiente. La ficha no demuestra transferencia fuera de los datasets, modelos, herramientas y condiciones descritos en 6 Main Results.
- Confianza editorial: Media
- Limitación: El cierre de la fuente señala: PAW shifts foundation-model use from per-input cloud invocation to per-function compilation followed by local execution. Positive impacts include reduced API dependency and cost (functions run on a \sim 500 MB device-resident interpreter instead of round-tripping to a cloud LLM), reproducibility (a compiled program is a single versioned file), and offline availability (the in-browser path runs with no network). Negative impacts are constrained: the…
- Limitación: La ficha no demuestra transferencia fuera de los datasets, modelos, herramientas y condiciones descritos en 6 Main Results.

## Localizadores de evidencia
- [Fuente primaria · canonical](https://arxiv.org/abs/2607.02512): tipo abstract
- [HTML · lectura completa](https://arxiv.org/html/2607.02512): tipo abstract
- [Método · 2 Programs as Weights](https://arxiv.org/html/2607.02512#S2): tipo section
- [Evaluación · 6 Main Results](https://arxiv.org/html/2607.02512#S6): tipo section
- [Cierre · 11 Conclusion](https://arxiv.org/html/2607.02512#S11): tipo section

## Próxima prueba

- ¿La propuesta mejora automatizaciones locales frente a la línea base actual?
- Métrica: Comparar la métrica principal de la fuente junto con calidad, coste, latencia y tasa de errores.
- Regla de parada: Parar si no aparece una mejora reproducible o si aumenta el riesgo, la complejidad o el coste sin compensación.

## Recursos reproducibles
- [https://github.com/programasweights](https://github.com/programasweights)
- [Link](https://github.com/ggerganov/llama.cpp)
- [Link](https://github.com/ngxson/wllama)
- [the following issues](https://github.com/arXiv/html_feedback/issues)

## Enlaces relacionados

- [CoEvo-Mem](https://luiseduardodemiguel.com/research-ia/markdown/papers/coevo-mem)
- [Agent Memory Distillation](https://luiseduardodemiguel.com/research-ia/markdown/papers/agent-memory-distillation)
- [LiveMem](https://luiseduardodemiguel.com/research-ia/markdown/papers/livemem)