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