JESSE MICHAEL HAN
Phase 1
rev:8
HOME
0254762
- Role
- Founder & CEO of Math Inc
- Location
- NERV HQ (SF & NYC)
- jessemichaelhan [at] gmail [dot] com
- @jessemhan
- /in/jesse-michael-han
Select blog link
Awaiting archive routing command
Archive channel 10
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 09
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 08
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 07
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 06
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 05
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 04
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 03
This transmission channel is reserved for a future blog entry.
Awaiting transmissionArchive channel 02
This transmission channel is reserved for a future blog entry.
Awaiting transmissionBuilding geometry solvers for the IMO Grand Challenge
A field report on automated reasoning, generic backwards search, model-guided conjecturing, and the geometry solvers developed for the IMO Grand Challenge.
Read transmission