In chemistry, the fundamental building blocks are atoms; from their interactions emerge molecules, materials, and their properties. In mathematical logic, fundamental assumptions are also called atoms; from these, proofs, lemmas, and theorems are derived. The ATOMS Lab brings together chemical engineers, computer scientists, and mathematicians as we equip computers to reason about and discover theories in molecular science.