TY - RPRT TI - MolecularIQ: Characterizing Chemical Reasoning Capabilities Through Symbolic Verification on Molecular Graphs AU - Christoph Bartmann AU - Johannes Schimunek AU - Mykyta Ielanskyi AU - Philipp Seidl AU - Günter Klambauer AU - Sohvi Luukkonen PY - 2026 UR - https://arxiv.org/abs/2601.15279 ID - 2601.15279 ER -