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
Floating Point Notes: IEEE 754 from First Principles
Published:
Let’s build the concept of floating-point numbers from first principles. We will follow a logical progression: from the physical limitations of computers, to the mathematical decisions, and finally to the engineering trade-offs that shaped the IEEE 754 standard, ultimately examining how modern CPUs execute common operations.
Walk Through Berkeley
Published:
Note: This is a coursework reflection for the UC Berkeley Summer Session course (GEOG 182).
An Uphill Journey with Isaac Sim in a Downhill Lab
Published:
Learning Isaac Sim at Sutardja Dai Hall. The lab is downhill, but this learning curve is definitely uphill.
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.