118 citations · 344 across the 22 of their papers we have counts for
3 papers · 1 filter
The promising future of a robust cosmological neutrino mass measurement
Thejs Brinckmann, Deanna C. Hooper, Maria Archidiacono +2
We forecast the sensitivity of thirty-five different combinations of future Cosmic Microwave Background and Large Scale Structure data sets to cosmological parameters and to the to…
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
Gil Lederman, Markus N. Rabe, Edward A. Lee +1
We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking…
Encodings of Bounded Synthesis
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe +1
The reactive synthesis problem is to compute a system satisfying a given specification in temporal logic. Bounded synthesis is the approach to bound the maximum size of the system…