130 citations · 671 across the 42 of their papers we have counts for
3 papers · 1 filter
Machine Learning Meets The Herbrand Universe
Jelle Piepenbrock, Josef Urban, Konstantin Korovin +3
The appearance of strong CDCL-based propositional (SAT) solvers has greatly advanced several areas of automated reasoning (AR). One of the directions in AR is thus to apply SAT sol…
Automatic inference of fault tree models via multi-objective evolutionary algorithms
Lisandro A. Jimenez-Roa, Tom Heskes, Tiedo Tinga +1
Fault tree analysis is a well-known technique in reliability engineering and risk assessment, which supports decision-making processes and the management of complex systems. Tradit…
Confident Neural Network Regression with Bootstrapped Deep Ensembles
Laurens Sluijterman, Eric Cator, Tom Heskes
With the rise of the popularity and usage of neural networks, trustworthy uncertainty estimation is becoming increasingly essential. One of the most prominent uncertainty estimatio…