Extracting Mathematical Concepts with Large Language Models. - Valeria de Paiva; Qiyue Gao; Pavel Kovalev; Lawrence S. Moss (CoRR, 2023)

A dependently-typed calculus of event telicity and culminativity. - Pavel Kovalev; Carlo Angiuli (CoRR, 2025)

Math Natural Language Inference: this should be easy! - Valeria de Paiva; Qiyue Gao; Hai Hu; Pavel Kovalev; Yikang Liu 002; Lawrence S. Moss; Zhiheng Qian (CoRR, 2025)