12 citations · 12 across the 3 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk +1
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interfac…
cs.LG2025
When fractional quasi p-norms concentrate
Ivan Y. Tyukin, Bogdan Grechuk, Evgeny M. Mirkes +1
Concentration of distances in high dimension is an important factor for the development and design of stable and reliable data analysis algorithms. In this paper, we address the fu…