Machine Learning to Support an Interactive Theorem Prover
Annual Student Research Poster Session
Part of the Physical Sciences and Mathematics Commons
Part of the Physical Sciences and Mathematics Commons
Machine Learning to Support an Interactive Theorem Prover
, Salman Haider, Andy Le, Echo Wu, Brian T. Howard
Annual Student Research Poster Session