Projects & Research

Research

• 
  VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4

  ICML AI for Math Workshop, 2025 · Nominated for Oral (Top 1%) · STAIR Lab
• 
  Crop Wild Relatives Biogeography

  Daru Lab, Stanford Biology

Class Projects

• 
  A Comparison of Three Algorithms for the Discrete Log Problem

  Math 110
• 
  Moonquake CNN Classifier

  CS 197
• 
  Functional Uniqueness for Crop Wild Relatives

  Math 104
• 
  Flower Color Distribution via Voronoi Tessellation

  Earthsys 144
• 
  Moderator Reporting Flow

  CS 152
• 
  A Dry Jacob's Well

  CS 109
• 
  Pixel-Based Classification of Prairie Remnants

  Earthsys 142
• 
  Final Render

  CS 148 · with Johnathan Xie