Fabian Kresse

According to our database, Fabian Kresse authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Scalable Interconnect Learning in Boolean Networks.

Fabian Kresse, Emily Yu, Christoph H. Lampert

CoRR, July, 2025

Logic Gate Neural Networks are Good for Verification.

Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

Predictive Monitoring of Black-Box Dynamical Systems.

Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Djordje Zikelic

Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025