Grant: Postgraduate Scholarships - Doctoral
Cornell University
$10,500.00
Improving Automated Synthetic Geometry Theorem Provers with Deep Learning on Auxiliary Element Construction
EF 2022-23
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
Province fr
New York
Country en
UNITED STATES
Country fr
ÉTATS-UNIS
Fiscal year exercice financier
2022
Competition year année de concours
2022
Award amount
10500
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
2800
Research subject group en
Artificial intelligence
Research subject group fr
Intelligence artificielle
Research subject en
Artificial intelligence (computer vision, use2603)
Research subject fr
Intelligence artificielle (vision artificielle, utiliser 2603)
Installment
inst:1;2
Partie
2
Nb partie
2
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
