ReadGlim
ATLAS: Active Theory Learning for Automated Science — ReadGlim