Yury Kudryashov

According to our database1, Yury Kudryashov authored at least 2 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Aristotle: IMO-level Automated Theorem Proving.
CoRR, October, 2025

2022
Formalizing the Divergence Theorem and the Cauchy Integral Formula in Lean.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022


  Loading...