219 citations · 232 across the 2 of their papers we have counts for
2 papers
cs.AI2019★ 13 cited
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh +4
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particu…
astro-ph.IM2016★ 219 cited
Star-galaxy Classification Using Deep Convolutional Neural Networks
Edward J. Kim, Robert J. Brunner
Most existing star-galaxy classifiers use the reduced summary information from catalogs, requiring careful feature extraction and selection. The latest advances in machine learning…