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