Showing cs.LGShow all
3 papers · 1 filter
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…
cs.LG2024
Neural Control and Certificate Repair via Runtime Monitoring
Emily Yu, Đorđe Žikelić, Thomas A. Henzinger
Learning-based methods provide a promising approach to solving highly non-linear control tasks that are often challenging for classical control methods. To ensure the satisfaction…