Automated Theorem Proving with Machine Learning for Automating Mathematics
使用机器学习自动证明数学自动化
基本信息
- 批准号：19K22842
- 负责人：
- 金额：$ 3.99万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Research (Exploratory)
- 财政年份：2019
- 资助国家：日本
- 起止时间：2019-06-28 至 2022-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（3）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
- DOI：10.1609/aaai.v34i04.5977
- 发表时间：2019-04
- 期刊：
- 影响因子：0
- 作者：Takamasa Okudono;Masaki Waga;Taro Sekiyama;I. Hasuo
- 通讯作者：Takamasa Okudono;Masaki Waga;Taro Sekiyama;I. Hasuo
Visualizing Color-wise Saliency of Black-Box Image Classification Models
- DOI：10.1007/978-3-030-69535-4_12
- 发表时间：2020-10
- 期刊：
- 影响因子：0
- 作者：Yuhki Hatakeyama;Hiroki Sakuma;Yoshinori Konishi;Kohei Suenaga
- 通讯作者：Yuhki Hatakeyama;Hiroki Sakuma;Yoshinori Konishi;Kohei Suenaga
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Suenaga Kohei其他文献
Efficient Black-Box Checking via Model Checking with Strengthened Specifications
通过强化规格的模型检查进行高效的黑盒检查
- DOI：
10.1007/978-3-030-88494-9_6 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Shijubo Junya;Waga Masaki;Suenaga Kohei - 通讯作者：
Suenaga Kohei
A guess-and-assume approach to loop fusion for program verification
用于程序验证的循环融合的猜测和假设方法
- DOI：
10.1145/3162070 - 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Imanishi Akifumi;Suenaga Kohei;Igarashi Atsushi - 通讯作者：
Igarashi Atsushi
The Lattice-Theoretic Essence of?Property Directed Reachability Analysis
属性导向可达性分析的格理论本质
- DOI：
10.1007/978-3-031-13185-1_12 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Kori Mayuko;Urabe Natsuki;Katsumata Shin-ya;Suenaga Kohei;Hasuo Ichiro - 通讯作者：
Hasuo Ichiro
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic
使用程序逻辑形式化假设检验中的统计信念
- DOI：
10.24963/kr.2021/39 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Kawamoto Yusuke;Sato Tetsuya;Suenaga Kohei - 通讯作者：
Suenaga Kohei
野生動物自身の行動や習性を逆利用した動物装着型センサネットワークの研究
利用野生动物本身的行为和习惯研究动物佩戴的传感器网络
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Hatakeyama Yuhki;Sakuma Hiroki;Konishi Yoshinori;Suenaga Kohei;小林博樹 - 通讯作者：
小林博樹
Suenaga Kohei的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Suenaga Kohei', 18)}}的其他基金
Forma verification of hybrid systems based on the infinitesimal programming
基于无穷小规划的混合系统形式验证
- 批准号：
25730040 - 财政年份：2013
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
脳卒中患者のトイレ動作の自立度と練習内容の関係性解明と体系的練習法の効果検証
阐明脑卒中患者如厕动作独立程度与训练内容的关系，验证系统训练方法的有效性
- 批准号：
24K14264 - 财政年份：2024
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
意欲と運動を繋ぐ神経機構の因果的証明と自発的制御
连接动机和运动的神经机制的因果证明和自愿控制
- 批准号：
23K20780 - 财政年份：2024
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
状態としての特性の変動を説明する自己愛モデルの構築とその検証
将特征变化解释为状态的自恋模型的构建和验证
- 批准号：
24K06435 - 财政年份：2024
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
嗅覚刺激による自発運動増強機構の解明と食事由来肥満予防効果の検証
阐明嗅觉刺激增强运动能力的机制并验证饮食引起的肥胖预防效果
- 批准号：
24K05535 - 财政年份：2024
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Automated Theorem Proving for Infinite Term Rewriting Systems
无限项重写系统的自动定理证明
- 批准号：
22K11904 - 财政年份：2022
- 资助金额：
$ 3.99万 - 项目类别：
Grant-in-Aid for Scientific Research (C)