7 citations · 13 across the 4 of their papers we have counts for
4 papers
Trustworthy Formal Natural Language Specifications
Colin S. Gordon, Sergey Matskevich
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However…
Preprocessing Source Code Comments for Linguistic Models
Sergey Matskevich, Colin S. Gordon
Comments are an important part of the source code and are a primary source of documentation. This has driven interest in using large bodies of comments to train or evaluate tools t…
Natural Language Specifications in Proof Assistants
Colin S. Gordon, Sergey Matskevich
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However…
Generating Comments From Source Code with CCGs
Sergey Matskevich, Colin S. Gordon
Good comments help developers understand software faster and provide better maintenance. However, comments are often missing, generally inaccurate, or out of date. Many of these pr…