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 1 comments of Jesse Michael Han
trafficstars

Proof checks should happen after every tactic

I think having proof checks only at the end should be OK as long as we ensure that proofs can be replayed interactively, and that we filter training data to...