2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.PL2022★ 2 cited
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…
cs.SE2018
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…