182 citations · 233 across the 36 of their papers we have counts for
3 papers · 1 filter
Discourse Comprehension: A Question Answering Framework to Represent Sentence Connections
Wei-Jen Ko, Cutter Dalton, Mark Simmons +3
While there has been substantial progress in text comprehension through simple factoid question answering, more holistic comprehension of a discourse still presents a major challen…
Impact of Evaluation Methodologies on Code Summarization
Pengyu Nie, Jiyang Zhang, Junyi Jessy Li +2
There has been a growing interest in developing machine learning (ML) models for code summarization tasks, e.g., comment generation and method naming. Despite substantial increase…
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Pengyu Nie, Karl Palmskog, Junyi Jessy Li +1
Naming conventions are an important concern in large verification projects using proof assistants, such as Coq. In particular, lemma names are used by proof engineers to effectivel…