Ongoing · Multi-agent RL
A GPU-resident simulator of Teamfight Tactics in PyTorch, in the style of Isaac Lab: many complete eight-player games step at once with all state on the device, covering the shared card pool, shop, economy, items, legal-action masks and batched combat, for multi-agent RL in which eight policies compete in every game.
Research tool · macOS
Research tool and formal-methods project. Built a native SwiftUI macOS app for organizing long mathematical and scientific proof chains as typed dependency graphs, with semantic proof relations, branch/fork workflows, LaTeX rendering, formal-hole detection, local JSON persistence, and Markdown export.
Robotics · Computer vision
Retargeted quadruped motions from monocular videos via a learnable skeleton, removing the need for motion capture or manual keypoints.
Robotics · Planning and control
Integrated VIO, an SE(3) controller and a ray-casting A* planner (30× faster, from 22 s to 0.7 s; first on the course leaderboard) with a time-optimal minimum-snap trajectory solver.