arXiv Science⌕ Search

arXiv subjects

Yunfeng Shi

Publications and source records attributed to Yunfeng Shi.

At least 19 recordsLinked to original sources
arXiv2026

Remote epitaxy beyond polarity

Remote epitaxy through a monolayer two-dimensional material-covered substrate establishes a crystallographic registry across the van der Waals (vdW) surface that enables the epitaxial growth, lift-off and transfer of single-crystalline films. A central belief in remote epitaxy is that the substrate facilitating the phenomenon must be a material with strong ionicity, as the interatomic electrostatic potential fluctuation in covalent and metallic materials is substantially attenuated by two-dimensional materials. Here, we show remote epitaxy is possible when the substrate is a metallic or covalently bonded material and experimentally demonstrate non-polar remote homo- and heteroepitaxy across a wide range of material systems, including both metals and semiconductors. The achieved non-polar remote interactions are designed and engineered by harnessing substrate conductivity and vicinal surface step-edge density. These findings indicate that remote epitaxy is universal and applicable to ionic, metallic, and covalent materials, expanding its capabilities and stimulating a plethora of new fundamental scientific questions about the mechanism of remote epitaxy.

cond-mat.mtrl-sci↗
arXiv2026

HarnessDev: Can LLMs Create and Evolve Their Own Agent Harness?

As agents move from research prototypes to deployed tools, their capability increasingly depends on model-external execution infrastructure, commonly termed the agent harness. Changing this harness while holding model weights fixed can substantially alter task performance. Current agent evaluations typically report downstream performance under a chosen harness, leaving a model's ability to develop the harness itself comparatively underexplored. We introduce HarnessDev, a benchmark that shifts the unit of evaluation from task outputs to runnable infrastructure. HarnessDev covers two stages. In Creation, the agent starts from a minimal seed and a small number of cases, then builds a complete execution system. In Evolution, it starts from its own created harness and iteratively revises it using downstream execution feedback, with the goal of improving benchmark performance. We then evaluate each constructed harness on capability (task success on held-out benchmarks) and efficiency (execution-token cost). The reported Creation results cover six creator LLMs, four domains, and five downstream benchmarks totaling 2,207 unique downstream instances, with hidden evaluation tasks withheld from development. We find that generated harnesses remain substantially behind mature human-engineered references on code and on search and research, while matching or exceeding the selected references on writing and machine-learning experimentation, with large variation in execution cost. Evolution produces some performance gains, but they are unstable and transfer only partially to held-out tasks. Experiments with a fixed runtime model further show that the gains depend strongly on the model executing the harness, indicating limited transfer across models.

cs.SE↗
arXiv2026

Aspire: Can Models Self-Evolve from Vague Goals?

Many important forms of human learning begin with a vague goal, such as "become a better physicist" or "improve at research." Learners must interpret the goal, identify capability gaps, decide how to learn, and determine whether they have actually improved. In contrast, existing work on LLM self-evolution typically begins with tasks and evaluation metrics specified by humans, reducing self-evolution to optimizing an explicit objective rather than deciding what and how to learn. We introduce ASPIRE, a benchmark for vague-goal-driven self-evolution. ASPIRE provides only a natural-language capability goal while downstream evaluation tasks remain hidden. The agent must operationalize the goal by choosing data and update methods, constructing training and validation signals, and deciding when to evaluate. ASPIRE supports both model-weight and agent-harness evolution in a unified interactive environment and evaluates the resulting systems on a hidden, expert-authored set of 520 items spanning six goals. Our experiments show that vague goals redirect search effort toward goal interpretation. Current agents routinely complete training and harness-editing loops, but weight-level gains remain sparse and unstable, and the strongest evolved harness remains below the engineered Qwen-Agent reference. Agents often train on mismatched data and trust narrow self-evaluations, so local gains fail to transfer to hidden evaluation and continued search and training can erase earlier improvements.

cs.CL↗
arXiv2026

Localization and unique continuation for the Anderson-Bernoulli model with long-range hopping on $\mathbb{Z}$

In this paper, we study Anderson localization near the spectral edge for the Anderson-Bernoulli model on $\mathbb{Z}$ with long-range hopping. When the hopping has a rational Laurent symbol, a quantitative version of the unique continuation principle can be proved, and localization occurs. For the unique continuation in the general case, we give some counterexamples and prove a weaker result for hopping that decays faster than exponential rate. To the best of our knowledge, this is the first localization result for the long-range Anderson model with pure Bernoulli potentials.

math.SP↗
arXiv2026

OProver: A Unified Framework for Agentic Formal Theorem Proving

Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware training, but agentic proving is rarely integrated into prover training, appearing only at inference time. We present OProver, a unified framework for agentic formal theorem proving in Lean 4, in which failed proof attempts are iteratively revised using retrieved compiler verified proofs and Lean compiler feedback. OProver is trained through continued pretraining followed by iterative post-training: each iteration runs agentic proving, indexes newly verified proofs into OProofs and the retrieval memory, uses repair trajectories as SFT data, and uses unresolved hard cases for RL. OProofs is built from public Lean resources, large-scale proof synthesis, and agentic proving traces, containing 1.77M Lean statements, 6.86M compiler-verified proofs, and serialized trajectories with retrieved context, failed attempts, feedback, and repairs. Across five benchmarks, OProver-32B attains the best Pass@32 on MiniF2F (93.3%), ProverBench (58.2%), and PutnamBench (11.3%), and ranks second on MathOlympiad (22.8%) and ProofNet (33.2%) more top placements than any prior open-weight whole-proof prover.

cs.CL↗
arXiv2026

Anderson Localization for the hierarchical Anderson-Bernoulli model on $\mathbb{Z}^d$

In this paper, we prove Anderson localization for a hierarchical Anderson-Bernoulli model on lattice with arbitrary dimension, where the potential is characterized by a geometric hierarchical structure combined with fluctuations induced by independent and identically distributed (i.i.d.) Bernoulli random variables. Our method is also applicable to proving a probabilistic unique continuation result on $\mathbb{Z}^d$.

math.AP↗
arXiv2026

Anderson localization and H\"older continuity of the integrated density of states for analytic quasiperiodic Schr\"odinger operators

We establish both Anderson localization and H\"older continuity of the integrated density of states for quasiperiodic Schr\"odinger operators on $\mathbb{Z}^d$ with any non-constant analytic potential and any Diophantine frequency in the perturbative regime. Our proof is based on a new method for controlling Green's functions and eliminating double resonances, in the spirit of multi-scale analysis. To the best of our knowledge, this is the first multi-scale analysis approach that works for fixed Diophantine frequencies and potentials beyond the cosine type.

math-ph↗
arXiv2025

Scaling Latent Reasoning via Looped Language Models

Modern LLMs are trained to "think" primarily via explicit text generation, such as chain-of-thought (CoT), which defers reasoning to post-training and under-leverages pre-training data. We present and open-source Ouro, named after the recursive Ouroboros, a family of pre-trained Looped Language Models (LoopLM) that instead build reasoning into the pre-training phase through (i) iterative computation in latent space, (ii) an entropy-regularized objective for learned depth allocation, and (iii) scaling to 7.7T tokens. Ouro 1.4B and 2.6B models enjoy superior performance that match the results of up to 12B SOTA LLMs across a wide range of benchmarks. Through controlled experiments, we show this advantage stems not from increased knowledge capacity, but from superior knowledge manipulation capabilities. We also show that LoopLM yields reasoning traces more aligned with final outputs than explicit CoT. We hope our results show the potential of LoopLM as a novel scaling direction in the reasoning era. Our model is available here: http://ouro-llm.github.io.

cs.CL↗
arXiv2025

On localization for the alloy-type Anderson-Bernoulli model with long-range hopping

In this paper, we prove the Anderson localization near the spectral edge for some alloy-type Anderson-Bernoulli model on $\mathbb{Z}^d$ with exponential long-range hopping. This extends the work of Bourgain [Geometric Aspects of Functional Analysis, LNM 1850: 77--99, 2004], in which he pioneered a novel multi-scale analysis to treat Bernoulli random variables. Our proof is mainly based on Bourgain's method. However, to establish the initial scales Green's function estimates, we adapt the approach of Klopp [Comm. Math. Phys, Vol. 232, 125--155, 2002], which is based on the Floquet-Bloch theory and a certain quantitative uncertainty principle. Our proof also applies to an analogues model on $\mathbb{R}^d.$

math-ph↗
arXiv2025

Extended states for the Random Schr\"odinger operator on $\mathbb{Z}^d$ ($d\geq 5$) with decaying Bernoulli potential

In this paper, we investigate the delocalization property of the discrete Schr\"odinger operator $H_\omega=-\Delta+v_n\omega_n\delta_{n,n'}$, where $v_n=\kappa |n|^{-\alpha}$ and $\omega=\{\omega_n\}_{n\in\mathbb{Z}^d}\in \{\pm 1\}^{\mathbb{Z}^d}$ is a sequence of i.i.d. Bernoulli random variables. Under the assumptions of $d\geq 5$, $\alpha>\frac14$ and $0<\kappa\ll1$, we construct the extended states for a deterministic renormalization of $H_\omega$ for most $\omega$. This extends the work of Bourgain [{\it Geometric Aspects of Functional Analysis}, LNM 1807: 70--98, 2003], where the case $\alpha>\frac13$ was handled. Our proof is based on Green's function estimates via a $6$th-order renormalization scheme. Among the main new ingredients are the proof of a generalized Khintchine inequality via Bonami's lemma, and the application of the fractional Gagliardo-Nirenberg inequality to control a new type of non-random operators arising from the $6$th-order renormalization.

math-ph↗
arXiv2025

Anderson localized states for the nonlinear Maryland model on $\mathbb{Z}^d$

In this paper, we investigate Anderson localization for a nonlinear perturbation of the Maryland model $H=\varepsilon\Delta+\cot\pi(\theta+j\cdot\alpha)\delta_{j,j'}$ on $\mathbb{Z}^d$. Specifically, if $\varepsilon,\delta$ are sufficiently small, we construct a large number of time quasi-periodic and space exponentially decaying solutions (i.e., Anderson localized states) for the equation $i\frac{\partial u}{\partial t}=Hu+\delta|u|^{2p}u$ with a Diophantine $\alpha$. Our proof combines eigenvalue estimates of the Maryland model with the Craig-Wayne-Bourgain method, which originates from KAM theory for Hamiltonian PDEs.

math.AP↗
arXiv2024

Localization for random operators on $\mathbb{Z}^d$ with the long-range hopping

In this paper, we investigate random operators on $\mathbb{Z}^d$ with H\"older continuously distributed potentials and the long-range hopping. The hopping amplitude decays with the inter-particle distance $\|\bm x\|$ as $e^{-\log^{\rho}(\|\bm x\|+1)}$ with $\rho>1,\bm x\in\Z^d$. By employing the multi-scale analysis (MSA) technique, we prove that for large disorder, the random operators have pure point spectrum with localized eigenfunctions whose decay rate is the same as the hopping term. This gives a partial answer to a conjecture of Yeung and Oono [{\it Europhys. Lett.} 4(9), (1987): 1061-1065].

math-ph↗
arXiv2024

TurtleBench: Evaluating Top Language Models via Real-World Yes/No Puzzles

As the application of Large Language Models (LLMs) expands, the demand for reliable evaluations increases. Existing LLM evaluation benchmarks primarily rely on static datasets, making it challenging to assess model performance in dynamic interactions with users. Moreover, these benchmarks often depend on specific background knowledge, complicating the measurement of a model's logical reasoning capabilities. Other dynamic evaluation methods based on strong models or manual efforts may introduce biases and incur high costs and time demands, hindering large-scale application. To address these issues, we propose TurtleBench. TurtleBench collects real user guesses from our online Turtle Soup Puzzle platform that we developed. This approach allows for the relatively dynamic generation of evaluation datasets, mitigating the risk of model cheating while aligning assessments more closely with genuine user needs for reasoning capabilities, thus enhancing the reliability of evaluations. TurtleBench includes 1,532 user guesses along with the correctness of guesses after annotation. Using this dataset, we thoroughly evaluated nine of the most advanced LLMs available today. Notably, the OpenAI o1 series models did not achieve leading results in these evaluations. We propose several hypotheses for further research, such as "the latent reasoning of o1 utilizes trivial Chain-of-Thought (CoT) techniques" and "increasing CoT length not only provides reasoning benefits but also incurs noise costs."

cs.CL↗
arXiv2024

Green's function estimates for quasi-periodic operators on $\mathbb{Z}^d$ with power-law long-range hopping

We establish quantitative Green's function estimates for a class of quasi-periodic (QP) operators on $\mathbb{Z}^d$ with power-law long-range hopping and analytic cosine type potentials. As applications, we prove the arithmetic version of localization, the finite volume version of $(\frac12-)$-H\"older continuity of the IDS, and the absence of eigenvalues (for Aubry dual operators).

math-ph↗
arXiv2024

Localization for Lipschitz monotone quasi-periodic Schr\"odinger operators on $\mathbb{Z}^d$ via Rellich functions analysis

We establish the Anderson localization and exponential dynamical localization for a class of quasi-periodic Schr\"odinger operators on $\mathbb{Z}^d$ with bounded or unbounded Lipschitz monotone potentials via multi-scale analysis based on Rellich function analysis in the perturbative regime. We show that at each scale, the resonant Rellich function uniformly inherits the Lipschitz monotonicity property of the potential via a novel Schur complement argument.

math-ph↗
arXiv2024

Anderson localized states for the quasi-periodic nonlinear Schr\"odinger equation on $\mathbb Z^d$

We establish large sets of Anderson localized states for the quasi-periodic nonlinear Schr\"odinger equation on $\mathbb Z^d$, thus extending Anderson localization from the linear (cf. Bourgain [Geom. Funct. Anal., 17(3):682--706, 2007]) to a nonlinear setting, and the random (cf. Bourgain-Wang [J. Eur. Math. Soc., 10(1):1--45, 2008]) to a deterministic setting. Among the main ingredients are a new Diophantine estimate of quasi-periodic functions in arbitrarily dimensional phase space, and the application of Bourgain's geometric lemma in [Geom. Funct. Anal., 17(3):682--706, 2007].

math-ph↗
arXiv2023

Diagonalization in a quantum kicked rotor model with non-analytic potential

In this paper we study the lattice quasi-periodic operators with power-law long-range hopping and meromorphic monotone potentials, and diagonalize the operators via a Nash-Moser iteration scheme. As applications, we obtain uniform power-law localization, uniform dynamical localization and Lipschitz continuity of the integrated density of states (IDS) for such operators. Our main motivation comes from investigating quantum suppression of chaos in a quantum kicked rotor model with non-analytical potential.

math-ph↗