Many real‐world scientific and industrial applications require the optimization of expensive black‐box functions. Bayesian optimization (BO) provides an effective framework but often struggles with local optima and lacks interpretability. This paper introduces reasoning BO, a novel framework leveraging reasoning models to guide BO sampling while incorporating multi‐agent systems and knowledge graphs for online knowledge accumulation. We evaluate our approach across 10 diverse tasks, including synthetic functions and complex real‐world chemical optimizations. Reasoning BO progressively refines sampling strategies through real‐time insights and hypothesis evolution, identifying high‐performing regions effectively. In the direct arylation task, our method significantly outperformed traditional BO, increasing yield from 25.20% to 60.07%. Furthermore, we demonstrate that smaller LLMs, after post‐training, can achieve performance comparable to larger counterparts. This framework establishes an intelligent cost‐effective optimization system for scientific discovery, combining LLM reasoning with structured knowledge management.
Zhuo Yang, Daolang Wang, Lingli Ge et al.· Materials Genome Engineering...· 0 citations
Text-to-molecule generation is typically formulated as a one-shot sequence generation problem, where a model directly maps target descriptions to molecular representations. However, molecular descriptions often contain informative structural constraints, and violating such constraints can change the molecular identity. This makes chemical verification and error correction important but underexplored. To fill this gap, we propose MolGVR, a chemistry-grounded Generator--Verifier--Refiner framework. The Generator infers structural evidence and generates candidate molecules. The Verifier addresses the lack of chemical validation by converting descriptions into chemical constraints and checking candidates against them. The Refiner addresses generation failures by revising candidates rejected by the Verifier. Experiments on ChEBI-20 and PCDes show that MolGVR improves exact-match performance. These results suggest that coupling generation with executable verification and feedback-guided refinement is an effective way to improve text-to-molecule generation.
Qian Tan, Xuanyu Zhu, Lei Jiang et al.· 0 citations
Benchmark gains are often treated as evidence of greater LLM capability. Yet the same gain can reflect different changes in model behavior. A model may reach new answers, or produce answers that were already within reach. Aggregate scores do not distinguish these changes question by question. We establish a question-level audit under fixed budgets, temperatures, and answer formats. A question is realized when the default deployment procedure produces the correct answer. A question is reachable when a specified probe finds that answer within a fixed budget. We first test whether inference-time layer routing can expand reachability. Under a matched budget, random routes match or exceed structured search in all 43 model and task settings. Answer-blind procedures retain almost none of this gain, which instead requires access to the correct answer. We then ask why reachable answers sometimes fail to appear. Across six cases spanning 0.5B to 31B, silencing one identified MLP block repairs 68 to 92 percent of a predefined failure set. We next test whether training closes the gap by expanding reachability. In five of six matched evaluations, deployed performance rises while the reachable ceiling remains flat or falls. For DAPO, the deployed score rises by 14.7 points while the reachable ceiling falls by 13.3 points. Across the settings we audit, realization and reachability therefore do not always change together. Claims of capability expansion should report both realized performance and reachability under matched evaluation conditions. Code is available at https://github.com/LiZaiyuan0619/reachability-not-realization
Yanchao Li, Wanhao Liu, Jiaqing Xie et al.· 0 citations
A manually verified, solvent-annotated 11B NMR data set constructed via a large language model (LLM)-assisted workflow provides a form of virtual spectral resolution, enabling the discrimination of chemically inequivalent boron sites that are difficult to resolve experimentally.
Penghui Li, Ben Gao, Shiyang Wang et al.· JACS Au· 0 citations