Sergey Matskevich

According to our database, Sergey Matskevich authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Trustworthy Formal Natural Language Specifications.

Colin S. Gordon, Sergey Matskevich

Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, 2023

2022

Preprocessing Source Code Comments for Linguistic Models.

Sergey Matskevich, Colin S. Gordon

CoRR, 2022

Natural Language Specifications in Proof Assistants.

Colin S. Gordon, Sergey Matskevich

CoRR, 2022

2018

Generating comments from source code with CCGs.

Sergey Matskevich, Colin S. Gordon

Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for Software Engineering, 2018

2016

Building Helpful Virtual Agents Using Plan Recognition and Planning.

Christopher W. Geib, Janith Weerasinghe, Sergey Matskevich, Pavan Kantharaju, Bart G. W. Craenen, Ronald P. A. Petrick

Proceedings of the Twelfth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2016