ATLAS: Active Theory Learning for Automated Science | ArxivCSExplorer