7 papers
Variable-length Gray codes for the Natural Numbers
Ezequiel López-Rubio
The modular -ary Gray code arranges fixed-length -ary representations of intervals of natural numbers so that consecutive numbers differ in a single digit. Its usefulness, ho…
Instruction Set and Language for Hypergraphs
Mario Pascual-Gonzalez, Ezequiel Lopez-Rubio
We present IsalHG, a method for representing the structure of any finite, connected hypergraph of bounded hyperedge arity as a string over a compact instruction alphabet $Σ_{\mathr…
Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
Ezequiel López-Rubio
We introduce Grid Programs, a novel model of computation in which programs are finite two-dimensional arrangements of instructions on an integer grid rather than linear sequences o…
From Latent Space to Training Data: Explainable Specialization in Minimal MLPs
Enrique Alba, Ezequiel Lopez-Rubio
We here study whether training biases can make hidden neurons specialize in minimal one-hidden-layer MLPs, and whether such specialization improves prototype-based reconstruction o…
The IsalProgram Programming Language
Ezequiel López-Rubio
We introduce IsalProgram (Instruction Set and Language for Programming), a novel assembly-like programming language with three distinctive theoretical properties: (1) it is a regul…
A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
Nivar Anwer, Ezequiel López-Rubio, David Elizondo +1
The analysis and control of stochastic dynamical systems rely on probabilistic models such as (continuous-space) Markov decision processes, but large or continuous state spaces mak…