4 papers · 1 filter
Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
Fabian Kresse, Christoph H. Lampert
Controlling autonomous systems under real-world conditions often requires policies that can be evaluated with low latency and minimal energy consumption. Unfortunately, these condi…
Learning Quantized Continuous Controllers for Integer Hardware
Fabian Kresse, Christoph H. Lampert
Deploying continuous-control reinforcement learning policies on embedded hardware requires meeting tight latency and power budgets. Small FPGAs can deliver these, but only if costl…
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…
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…