3 papers
cs.CC2020
Arithmetic Expression Construction
Leo Alcock, Sualeh Asif, Jeffrey Bosboom +10
When can given numbers be combined using arithmetic operators from a given subset of to obtain a given target number? We study three variations of this pr…
cs.LG2020
Uncertainty Quantification Using Neural Networks for Molecular Property Prediction
Lior Hirschfeld, Kyle Swanson, Kevin Yang +2
Uncertainty quantification (UQ) is an important component of molecular property prediction, particularly for drug discovery applications where model predictions direct experimental…
math.CO2019
Co-degrees resilience for perfect matchings in random hypergraphs
Asaf Ferber, Lior Hirschfeld
In this paper we prove an optimal co-degrees resilience property for the binomial -uniform hypergraph model with respect to perfect matchings. That is, for a suffici…