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