Source author record

Cheng Shi

Cheng Shi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2026arXiv

Inverse Knowledge Search over Verifiable Reasoning: Synthesizing a Scientific Encyclopedia from a Long Chains-of-Thought Knowledge Base

Most scientific materials compress reasoning, presenting conclusions while omitting the derivational chains that justify them. This compression hinders verification by lacking explicit, step-wise justifications and inhibits cross-domain links by collapsing the very pathways that establish the logical and causal connections between concepts. We introduce a scalable framework that decompresses scientific reasoning, constructing a verifiable Long Chain-of-Thought (LCoT) knowledge base and projecting it into an emergent encyclopedia, SciencePedia. Our pipeline operationalizes an endpoint-driven, reductionist strategy: a Socratic agent, guided by a curriculum of around 200 courses, generates approximately 3 million first-principles questions. To ensure high fidelity, multiple independent solver models generate LCoTs, which are then rigorously filtered by prompt sanitization and cross-model answer consensus, retaining only those with verifiable endpoints. This verified corpus powers the Brainstorm Search Engine, which performs inverse knowledge search -- retrieving diverse, first-principles derivations that culminate in a target concept. This engine, in turn, feeds the Plato synthesizer, which narrates these verified chains into coherent articles. The initial SciencePedia comprises approximately 200,000 fine-grained entries spanning mathematics, physics, chemistry, biology, engineering, and computation. In evaluations across six disciplines, Plato-synthesized articles (conditioned on retrieved LCoTs) exhibit substantially higher knowledge-point density and significantly lower factual error rates than an equally-prompted baseline without retrieval (as judged by an external LLM). Built on this verifiable LCoT knowledge base, this reasoning-centric approach enables trustworthy, cross-domain scientific synthesis at scale and establishes the foundation for an ever-expanding encyclopedia.

preprint2022arXiv

Neural Link Prediction with Walk Pooling

Graph neural networks achieve high accuracy in link prediction by jointly leveraging graph topology and node attributes. Topology, however, is represented indirectly; state-of-the-art methods based on subgraph classification label nodes with distance to the target link, so that, although topological information is present, it is tempered by pooling. This makes it challenging to leverage features like loops and motifs associated with network formation mechanisms. We propose a link prediction algorithm based on a new pooling scheme called WalkPool. WalkPool combines the expressivity of topological heuristics with the feature-learning ability of neural networks. It summarizes a putative link by random walk probabilities of adjacent paths. Instead of extracting transition probabilities from the original graph, it computes the transition matrix of a "predictive" latent graph by applying attention to learned features; this may be interpreted as feature-sensitive topology fingerprinting. WalkPool can leverage unsupervised node features or be combined with GNNs and trained end-to-end. It outperforms state-of-the-art methods on all common link prediction benchmarks, both homophilic and heterophilic, with and without node attributes. Applying WalkPool to a set of unsupervised GNNs significantly improves prediction accuracy, suggesting that it may be used as a general-purpose graph pooling scheme.

preprint2016arXiv

Exotic superfluid of trapped Fermi gases with spin-orbit coupling in dimensional crossover

We have studied the exotic superfluid phases of degenerated Fermi gases with spin-orbit coupling in a mixed dimensional system, where the motion of atoms are free in the x-direction and the tunneling between nearest tubes in the y-direction is permitted. Using the mean-field method, we obtain the phase diagrams of the system during the dimensional crossover between quasi one dimension to quasi two dimension. We find the existence of the topological state and Majorana edge mode in the weak tunneling case, and a rich phase diagram including two kinds of nodal superfluid phase and gapped superfluid phase in the opposite case. Our results show that topological pairing is favoured in quasi one dimension while nodal pairing state is favoured in quasi two dimension.

preprint2014arXiv

Ultra-broadband Terahertz Perfect Absorber Based on Multi-frequency Destructive Interference and Grating Diffraction

High absorption in a wide frequency band has attracted considerable interest since their potential applications in frequency spectrum imaging systems and anti-radar cloaking. In this paper, a polarization-independent, ultra-broadband and omnidirectional terahertz absorber is proposed, fabricated and evaluated. It is experimentally demonstrated that an over 95% absorption can be obtained in the frequency range of 0.75~2.41 THz. Attributing to the multi-frequency destructive interference between the layers and the impedance-matching condition of the grating, five successive absorption peaks at 0.88 THz, 1.20 THz, 1.53 THz, 1.96 THz and 2.23 THz merged into a ultra-broadband absorption spectrum.