INCOMING SDE @ TIKTOK

RAY
LI

Math & Computer Science.
Research-trained. Startup-shaped.

I like things that resist — proofs, markets,
locks, muscle.

MATHEMATICSCOMPUTER SCIENCERESEARCHSTARTUPS
Ray Li - Profile photo

System resistance
testing in progress.

SELECTED WORKS

Products people
actually use.

I co-founded products that scale. From AI assistants to developer tools.

CapybaraAI

CO-FOUNDER & CTO

10k+

Active Users

An AI-powered productivity tool helping students summarize and organize research papers.

AINLPReactPython

EQUO

CO-FOUNDER

YC

Interviewed

Marketplace platform optimizing supply chain logistics for small businesses.

MarketplaceLogisticsB2B
RESEARCH & ACADEMIA

Selected for national
research programs in
AI & Math.

Exploring the boundaries of transformer models and formal systems.

PKU
2023

Peking University

AI RESEARCH FELLOW

Conducted research on large language model optimization and alignment strategies.

$22.2K Funding (Top 0.1%)
NYU
2022

NYU Abu Dhabi

TRANSFORMER MODELS

Funded research investigating attention mechanisms in vision transformers.

International Research Scholar

Systems &
Resistance

No hobbies. Just interleaved systems. Some I study formally. Some I test with my hands.

I like the sour burn after a hard set. It feels like proof. Muscles don't lie. They fail exactly where the structure is weak.

RAY LI
FORMAL SYSTEM

Theorem Proving

Automated verification of truth.

HAND SYSTEM

Lock Picking

A quiet refusal of authority.

FORMAL SYSTEM

Quantitative Research

Market structures and signals.

HAND SYSTEM

Weight Loading

Loading until failure.

INTERACTIVE SYSTEM

Test the Assumption

Locks remind me that systems are not sacred. They are designed by people, and people make mistakes. Apply tension to open.

TENSION0%

Tap repeatedly to apply tension