Grant: Postgraduate Scholarships - Doctoral
Cornell University
$36,833.33
Improving Automated Synthetic Geometry Theorem Provers with Deep Learning on Auxiliary Element Construction
EF 2024-25
Résumé
theorem proving, synthetic geometry, computer vision, natural language processing, mathematical reasoning, automated geometry theorem proving, deep learning
Programme
Postgraduate Scholarships - Doctoral
Bénéficiaire
Emplacement
New York, UNITED STATES
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
567916-2022
Name nom
Zhou, Jin Peng JZ
Department département
Computer Science
Organization id
1441
Institution établissement
Cornell University
Province en
New York
Country en
UNITED STATES
Country fr
ÉTATS-UNIS
Fiscal year exercice financier
2024
Competition year année de concours
2022
Award amount
36833.33
Program id
PGSD
Program name en
Postgraduate Scholarships - Doctoral
Program name fr
Bourses d'études supérieures - doctorat
Group en
RESEARCH TRAINING AND TALENT DEVELOPMENT
Group fr
FORMATION EN RECHERCHE ET PERFECTIONNEMENT DES COM
Committee code
198
Committee name en
S&F Committee for Computing Sciences
Committee name fr
Comité de sélection des bourses en informatique
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
9999
Research subject group en
Not available
Research subject group fr
Non disponible
Research subject en
Not available
Research subject fr
Non disponible
Field of research list names en
Not available
Field of research list names fr
Non disponible
Socioeconomic objective list names en
Not available
Socioeconomic objective list names fr
Non disponible
Application title
Improving Automated Synthetic Geometry Theorem Provers with Deep Learning on Auxiliary Element Construction
Application summary
theorem proving, synthetic geometry, computer vision, natural language processing, mathematical reasoning, automated geometry theorem proving, deep learning
