13 citations · 14 across the 2 of their papers we have counts for
2 papers
gr-qc2021★ 13 cited
Gravitational wave surrogates through automated machine learning
Damián Barsotti, Franco Cerino, Manuel Tiglio +1
We analyze a prospect for predicting gravitational waveforms from compact binaries based on automated machine learning (AutoML) from around a hundred different possible regression…
cs.LO2010★ 1 cited
Automatic Probabilistic Program Verification through Random Variable Abstraction
Damián Barsotti, Nicolás Wolovick
The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automati…