Search Results for author:
Found 3 papers, 2 papers with code
Quantum Tonality: A Mathemusical Playground
Fitting Gaussian Mixture Models (GMM) to the Krumhansl-Kessler (KK) probe tone profiles for static attraction opens the possibility to investigate the underlying wave function as the stationary ground state of an anharmonic quantum oscillator with a schematic Hamiltonian involving a perturbation potential.
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
We provide proofs for tight upper and lower bounds on max-pooling layers in convolutional networks.
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
In this paper, we develop an algorithmic framework based on heap automata that allows us to derive asymptotically optimal decision procedures for a wide range of robustness properties in a uniform way.
Logic in Computer Science
