SearcharxivSearch

arXiv subjects

Xiaolu Lin

Publications and source records attributed to Xiaolu Lin.

4 recordsLinked to original sources

Bohrium + SciMaster: Building the Infrastructure and Ecosystem for Agentic Science at Scale

AI agents are emerging as a practical way to run multi-step scientific workflows that interleave reasoning with tool use and verification, pointing to a shift from isolated AI-assisted steps toward \emph{agentic science at scale}. This shift is increasingly feasible, as scientific tools and models can be invoked through stable interfaces and verified with recorded execution traces, and increasingly necessary, as AI accelerates scientific output and stresses the peer-review and publication pipeline, raising the bar for traceability and credible evaluation. However, scaling agentic science remains difficult: workflows are hard to observe and reproduce; many tools and laboratory systems are not agent-ready; execution is hard to trace and govern; and prototype AI Scientist systems are often bespoke, limiting reuse and systematic improvement from real workflow signals. We argue that scaling agentic science requires an infrastructure-and-ecosystem approach, instantiated in Bohrium+SciMaster. Bohrium acts as a managed, traceable hub for AI4S assets -- akin to a HuggingFace of AI for Science -- that turns diverse scientific data, software, compute, and laboratory systems into agent-ready capabilities. SciMaster orchestrates these capabilities into long-horizon scientific workflows, on which scientific agents can be composed and executed. Between infrastructure and orchestration, a \emph{scientific intelligence substrate} organizes reusable models, knowledge, and components into executable building blocks for workflow reasoning and action, enabling composition, auditability, and improvement through use. We demonstrate this stack with eleven representative master agents in real workflows, achieving orders-of-magnitude reductions in end-to-end scientific cycle time and generating execution-grounded signals from real workloads at multi-million scale.

cs.AI

Existence and blow up behavior of prescribed mass solutions on large smooth domains to the Kirchhoff equation with combined nonlinearities

In this paper, we consider the existence, multiplicity and the asymptotic behavior of prescribed mass solutions to the following nonlinear Kirchhoff equation with mixed nonlinearities: -(a+b\int|\nabla u|^2\mathrm{d}x)\Delta u+V(x)u+\lambda u=|u|^{q-2}u+\beta|u|^{p-2}u \quad&\text{in}\ \Omega, \int_{\Omega}|u|^2\mathrm{d}x=\alpha, both on large bounded smooth star-shaped domain \Omega\subset\mathbb{R}^{3} and on \mathbb{R}^{3}, where 2<p<\frac{14}{3}<q<6 and V(x) is the potential. The standard approach based on the Pohozaev identity to obtain normalized solutions is invalid due to the presence of potential V(x).

math.AP

Normalized Solutions on large smooth domains to the Schr\"{o}dinger equation with potential and general nonlinearity: Mass super-critical case

In this paper, we consider the existence and multiplicity of prescribed mass solutions to the following nonlinear Schr\"{o}dinger equation with general nonlinearity: Mass super-critical case: \[\begin{cases} -\Delta u+V(x)u+\lambda u=g(u),\\ \|u\|_2^2=\int|u|^2\mathrm{d}x=c, \end{cases} \] both on large bounded smooth star-shaped domain $\Omega\subset\mathbb{R}^N$ and on $\mathbb{R}^N$, where $V(x)$ is the potential and the nonlinearity $g(\cdot)$ considered here are very general and of mass super-critical. The standard approach based on the Pohozaev identity to obtain normalized solutions is invalid as the presence of potential $V(x)$. In addition, our study can be considered as a complement of Bartsch-Qi-Zou (Math Ann 390, 4813--4859, 2024), which has addressed an open problem raised in Bartsch et al. (Commun Partial Differ Equ 46(9):1729--1756, 2021).

math.AP

Normalized solutions on large smooth domains to the Schr\"{o}dinger equations with potential and combined nonlinearities: The Sobolev critical case

In this paper, we consider the existence and multiplicity of prescribed mass solutions to the following nonlinear Schrodinger equations with mixed nonlinearities. The standard approach based on the Pohozaev identity to obtain normalized solutions is invalid as the presence of potential. Besides, Our study can be regarded as a Sobolev critical case complement of Bartsch-Qi-Zou (Math Ann 390, 4813-4859, 2024), which has addressed an open problem raised in Bartsch et al.(Commun Partial Differ Equ 46(9):1729--1756,2021).

math.AP