{"id":"arxiv/2607.17417","url":"https://arxiv.org/abs/2607.17417","tags":["cs.LG","physics.chem-ph","physics.comp-ph","quant-ph"],"score":0,"title":"Grounded verification of chemical and materials reasoning: detection is the bottleneck","domain":"cs.LG","source":"arxiv","authors":["Can Polat","Mustafa Kurban","Erchin Serpedin","Hasan Kurban"],"reviews":0,"subject":"cs.LG","summary":"Language models are moving into chemistry and materials discovery workflows, where a wrong molecular formula, space group, or formation energy can silently propagate into downstream decisions. These confabulations hide inside fluent reasoning traces and concentrate on rare, long-tail entities, where model confidence is least trustworthy. Retrieving reference data for every prompt would catch them, but at a heavy coverage and abstention cost. We show that deterministic, database-grounded verification catches and repairs these errors selectively, and that the binding constraint is detection…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-19","reactions":{}}