Jesse Michael Han

icon indicating a website link https://jesse-michael-han.github.io/

icon company University of Pittsburgh icon location Pittsburgh icon location I am a PhD student at the University of Pittsburgh, under the supervision of Tom Hales.

Results 2 repositories owned by Jesse Michael Han

lean-gptf

62
Stars
5
Forks
Watchers

Interactive neural theorem proving in Lean

verified publisher icon jesse-michael-han

lean-step-public

20
Stars
6
Forks
Watchers

Proof artifact co-training for Lean

verified publisher icon jesse-michael-han