A RESEARCH LAB FOUNDED BY DR. SI CHEN

Using AI to solve
truly hard problems.

Beyond the demonstration. Toward the difficult.
We bring AI to real problems in digital worlds, intelligent hardware, robotics, mathematics, and quantitative systems.

West Chester University of Pennsylvania

NOW RECRUITING STUDENTS & PROFESSORS

Good questions need great collaborators.

An invitation-based lab. An open invitation to introduce yourself.

01 / RESEARCH DIRECTIONS

Six directions. One ambition.

Different disciplines. A shared question:
what becomes possible when AI does the hard part?

01Spatial intelligence

WolfWorld

Smartphone video to 3D reconstruction. Turn everyday mobile capture into immersive, explorable worlds.

3D reconstructionComputer vision
02Reconfigurable computing

FPGA AI Systems

Custom FPGA architectures for AI acceleration, efficient memory systems, and hardware–software co-design.

FPGAAI acceleration
03Embodied systems

AI-Native Robotics

Robots and robotic arms designed with AI—from circuit boards and software to control and mechanical structure.

RoboticsGenerative design
04Generative worlds

Infinite MMORPG

A self-expanding MMORPG where AI uses an AI-built game editor to create worlds, quests, NPCs, and systems.

AI agentsPersistent worlds
05Machine-checked reasoning

Lean Formal Mathematics

Formalize and prove difficult mathematical problems in Lean, with machine-checked rigor at the core.

LeanFormal verification
06Quantitative systems

WolfQuant

AI-powered quantitative research for portfolio strategy, market analysis, and systematic decision-making.

Quantitative researchAI systems
Showing all 6 research directionsREAL PROBLEMS. RIGOROUS WORK.

02 / OUR APPROACH

Not AI for its own sake.
AI for the hard part.

HARD Lab starts with difficult questions—not a particular model or a fashionable tool. We connect ideas, build systems, and ask what the evidence actually shows.

Dr. Si ChenFounder, HARD Lab
01

Start with a real problem.

Choose questions with genuine technical depth and a reason to matter beyond the demo.

02

Build across boundaries.

Move between algorithms, software, hardware, and theory. Let the problem define the toolkit.

03

Make progress measurable.

Prototype, test, prove, and iterate. Favor working artifacts and reproducible evidence over promises.

03 / JOIN HARD LAB

Bring a problem
worth solving.

We are recruiting students and professors who want to use AI to tackle genuinely difficult problems.

Membership is by invitation. A thoughtful introduction is where the conversation begins.

Show us what you have built.

Share your GitHub repositories and/or a short introduction to your previous projects. Tell us which research direction interests you and why.

Your background and interests

GitHub repositories or previous projects

A problem you would like to explore

Your introduction goes directly to Dr. Chen by email.

INDEPENDENTLY SUPPORTED

Fully funded by Dr. Chen and the WolfQuant system.