38 citations · 61 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 38 cited
The Hierarchy of Hyperlogics
Norine Coenen, Bernd Finkbeiner, Christopher Hahn +1
Hyperproperties, which generalize trace properties by relating multiple traces, are widely studied in information-flow security. Recently, a number of logics for hyperproperties ha…
cs.LO2020
Teaching Temporal Logics to Neural Networks
Christopher Hahn, Frederik Schmitt, Jens U. Kreber +2
We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of l…