MolecularIQ: Characterizing Chemical Reasoning Capabilities Through Symbolic Verification on Molecular Graphs - Bartmann, Christoph; Schimunek, Johannes; Ielanskyi, Mykyta; Seidl, Philipp; Klambauer, Günter; Luukkonen, Sohvi (International Conference on Learning Representations, 2026)