ATLAS: Active Theory Learning for Automated Science — ThinkLLM