Grant: Postgraduate Scholarships - Doctoral
Cornell University
$21,000.00
Improving Automated Synthetic Geometry Theorem Provers with Deep Learning on Auxiliary Element Construction
FY 2023-24
Summary
theorem proving, synthetic geometry, computer vision, natural language processing, mathematical reasoning, automated geometry theorem proving, deep learning
Program
Postgraduate Scholarships - Doctoral
Recipient
Location
New York, UNITED STATES
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
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
2023
Competition year année de concours
2022
Award amount
21000
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
Not available
Research subject en
Non disponible
Research subject 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
