Siyao Lan

China University of Geosciences, Beijing

Undergraduate · Computer Science and Technology

Entered in 2025. Pursuing AI research, research-tool development and literary writing.

Sentinel-EVC

Project lead · Open research prototype and controlled simulation

Connects final-action validation, one-use execution permits and independent verification; studies UR5e simulation and offline VLA, with a read-only robot entry point.

Attractor-JEPA

Latent computation · Ongoing research

Explores compositional computation in latent representations, focusing on reasoning depth, state stability and learning.

CIDS-GA

Training mechanisms under investigation

Compares current and alternative operations at matched states, consolidates functionally tested repairs into parameters, and uses paired evaluation and rollback to protect prior capabilities.

Model collapse and feature detectability

Theory and manuscript work in progress

Studies tail-information retention in recursive training and feature detectability in superposition and sparse autoencoders, with manuscript-specific assumptions and validation scopes.

Diagnosis-First Optimization · DFO

Working manuscript and research implementation

Diagnoses Walsh structure and variable interactions before choosing a solver; charges probes to the total evaluation budget and tests selection benefits against equal-budget controls.

Normalization: representation and feedback

Two theoretical manuscripts and controlled mechanism studies

Studies BN as representation selection and feedback tracking, testing mechanisms through forward-matched backward interventions and noise-model controls.

Initialization and Signal Propagation

Two theoretical manuscript and numerical-study branches

Studies input effective rank, covariance allocation and deep-ReLU signal propagation; current experiments establish no accuracy benefit from covariance shaping.

Reading Tasks from Behaviour

Information-theory working manuscript and self-contained computational witnesses

Separates a task-to-trajectory channel into geometric and directional information through time reversal, with finite-trajectory enumeration witnesses.

Aletheia v7.3.0

AutoResearch / Idea discovery project

Selects executable research actions from source evidence and rival explanations, then revises questions through observed feedback, with bounded budgets and inspectable records.

Wenjie · Hilbertforge

Architecture and protocol design

Organizes literature tensions, problem certificates, prior-work checks and minimal experiments; currently an architecture and protocol design.

Lancer Fusion

Structural kernel prototype

Explores structural mappings and bridge recombination through typed scientific graphs, with replayable operations, validation and lineage.

LSMFC

Toolchain version

Connects research facts, arguments, prose and figures through shared representations for evidence tracing and cross-checking.

Research Hub

Local workbench

Organizes literature, candidates, refutations and frozen experiments so subsequent research inherits sources, failures and replayable results.

AI4Research & AI research introductions

Course design, lesson plans and prepared lectures

Develops human-AI research workflows and introductions to post-training, SFT/DPO/GRPO and world models, with exercises, counterexamples and research-question design.

Task-driven synthetic data generation under meta-context constraints and intent awareness

First inventor · Published

Civilization

Long-form fiction · In progress

Explores civilization, institutions and engineering through records, objects and ordinary people’s choices; includes an outline, worldbuilding and draft chapters.

LancerUN

Public essays & reading

Writes about AI, education, reading and human experience; original essays and dates are collected in Writing.

Python · C · PyTorch · HTML

Research implementation & workflow development

Uses command-line tools, version control and AI collaborators to organize local research, literature, verification and engineering workflows.