Pavel Kovalev

According to our database, Pavel Kovalev authored at least 3 papers between 2023 and 2026.

Collaborative distances:

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

2026

A dependently-typed calculus of event telicity and culminativity.

Pavel Kovalev, Carlo Angiuli

Math. Struct. Comput. Sci., 2026

2025

Math Natural Language Inference: this should be easy!

Valeria de Paiva, Qiyue Gao, Hai Hu, Pavel Kovalev, Yikang Liu, Lawrence S. Moss, Zhiheng Qian

CoRR, July, 2025

2023

Extracting Mathematical Concepts with Large Language Models.

Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss

CoRR, 2023