Anton Kovsharov

1PUBLICATIONS
15CO-AUTHORS
Natural language processing
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

Sort by Publication Date:
|Oct 08, 2026
Advancing mathematics research with AI-driven formal proof search.

Pageof 1

Frequent Collaborators

1 joint publications

George Tsoukalas

1 joint publications

Sergey Shirobokov

1 joint publications

Anja Surina

1 joint publications

Gergely Bérczi

1 joint publications

Arun Suggala

1 joint publications

Eric Wieser

1 joint publications

Lei Yu

1 joint publications

Aja Huang

1 joint publications

Miklós Z Horváth

1 joint publications

Andrew Ferraiuolo

Frequent Collaborators

1 joint publications

George Tsoukalas

1 joint publications

Sergey Shirobokov

1 joint publications

Anja Surina

1 joint publications

Gergely Bérczi

JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies
Jove
Visualize
Contact Us