A small set of projects that reflect how I think, build, and iterate.
Math Note Knowledge Base
A structured note system for theorems, proof sketches, and recurring techniques.
Active · Math · Knowledge System
I am building a durable note structure where definitions, examples, and proof templates are connected instead of scattered.
The immediate goal is retrieval speed: when I revisit a topic after weeks, I should recover context in minutes, not hours.
Current milestone: unify notation conventions across all analysis notes.
AI Study Assistant Prompt Library
A prompt set for concept checking, proof critique, and weekly learning reflection.
Active · AI · Workflow
This project captures prompt patterns that help me test understanding without outsourcing core reasoning.
I evaluate prompts by usefulness, reliability, and whether they improve independent thinking.
Current milestone: add topic-specific prompt variants for analysis and probability.
Personal Research Dashboard
A lightweight dashboard for tracking reading progress, writing cadence, and project momentum.
Paused · Planning · Meta
I paused this project after realizing I was optimizing dashboards more than doing core work.
It remains useful as an occasional monthly review tool, not a daily system.
Future direction: reduce metrics, increase action prompts.
Proof Annotation Experiments
Testing annotation patterns that make long proofs easier to review and teach.
Complete · Math · Communication
I compared several annotation styles for multi-page proofs and measured recall one week later.
A compact strategy-first annotation style performed best for my own revision workflow.
Result: I adopted a standard annotation template in my notes.
Anjou Zhao 