Deep0Thinking

Projects

Software, research, and experiments.

Open filters No filters active
Order
Kind
Status
Date
Tags 0 selected

Select one or more tags. Results must match every selected tag.

All projects

2 projects, recently updated first
  1. research active

    ReuF2F

    A Lean 4 benchmark of 244 open problems from undergraduate research for evaluating coding agents.

    #formalized-mathematics#lean#theorem-proving#coding-agents#benchmarks View project →
  2. software active

    Two-Do

    An app for couples, built by my partner Grace Tian and me.

    #productivity#mobile-app#couples#calendar#habits#focus#shared-planning View project →