3 papers
cs.LG2025
Scalable Interconnect Learning in Boolean Networks
Fabian Kresse, Emily Yu, Christoph H. Lampert
Learned Differentiable Boolean Logic Networks (DBNs) already deliver efficient inference on resource-constrained hardware. We extend them with a trainable, differentiable interconn…
cs.LG2025
Logic Gate Neural Networks are Good for Verification
Fabian Kresse, Emily Yu, Christoph H. Lampert +1
Learning-based systems are increasingly deployed across various domains, yet the complexity of traditional neural networks poses significant challenges for formal verification. Unl…
eess.SY2024
Predictive Monitoring of Black-Box Dynamical Systems
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik +2
We study the problem of predictive runtime monitoring of black-box dynamical systems with quantitative safety properties. The black-box setting stipulates that the exact semantics…