01

Natural Language Logic Checker

Automated system for encoding arguments, distinguishing validity from strength, and stress-testing reasoning through LLM debate.

Philosophy →
02

Task Atlas

30,000+ work activities mapped by economic value and automation potential.

Economics →
04

Tax-Advantaged Vehicles

Research on charitable giving structures, from CRTs to DAF venture philanthropy.

Economics →
05

Social Stock Trading Platform

Product development from customer research to technical design for a social investing application.

Product →