Eric Yeh
- CoProver: A Recommender System for Proof Construction
2023/03/01 by Eric Yeh, Briland Hitaj, Yeh, Eric +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling