Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
The Problem on a Carousel
Published:
Waiting for luggage at the airport, I noticed something interesting around the carousel.
My Visit to Professor Ziad Obermeyer at UC Berkeley
Published:
Takeaways from meeting Professor Obermeyer at UC Berkeley School of Public Health — on applied math, interpretability, and mathematical models in healthcare.
Floating Point Notes in Computers
Published:
Let’s build the concept of floating-point numbers in computers from first principles.
Uncertainty and Belief
Published:
Stochasticity makes algorithms more robust. So are humans. Hence, I shall embrace the uncertainty.
CARLA Simulator on WSL2: Resolving the Docker Vulkan Trap
Published:
A guide on setting up a robust Windows-WSL2 hybrid simulation environment for CARLA 0.9.16, alongside a detailed root-cause analysis of Vulkan rendering crashes in WSL2 Docker.
When CoT Surface Features Transfer
Published:
A technical note on measurement non-invariance across math, science, and coding reasoning traces.
Intelligence Unveiled: Learning Mechanisms in Artificial and Biological Systems
Published:
Reflections on Dr. Yongping Cui’s lecture: Bridging In-Context Learning Phase Transitions with the discrete logic of animal behavior.
portfolio
Cross-Domain Limits of CoT Surface Features
A single-model measurement study showing that cheap reasoning-trace features are strong for math, partial for science, and weak for executable coding correctness.
publications
Token-Level Verification under Controlled Evaluation
Published in ICML 2026 Workshop on AI for Math (AI4Math), 2026
A controlled audit of shallow token-level verification signals for LLM math reasoning. Accepted at the ICML 2026 Workshop on AI for Math (AI4Math).
talks
From Bandits to PPO: RL Prerequisite Seminar
Published:
A one-hour mathematical bridge from bandits to PPO…
Designed as preparation for GRPO/DAPO discussions.