Improving Automated Synthetic Geometry Theorem Provers with Deep Learning on Auxiliary Element Construction
Improving Automated Synthetic Geometry Theorem Provers with Deep Learning on Auxiliary Element Construction
通过辅助元素构造的深度学习改进自动综合几何定理证明器
批准号：
567916-2022
负责人：
Zhou, JinPengJZ
金额：
$0.76万
依托单位：
依托单位国家：
加拿大
项目类别：
Postgraduate Scholarships - Doctoral
财政年份：
2022
资助国家：
加拿大
项目状态：
已结题
起止时间：
2022-01-01 至 2023-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
theorem proving, synthetic geometry, computer vision, natural language processing, mathematical reasoning, automated geometry theorem proving, deep learning
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
