Automated Theorem Proving with Machine Learning for Automating Mathematics

使用机器学习自动证明数学自动化

基本信息

  • 批准号：
    19K22842
  • 负责人：
    Suenaga Kohei
  • 金额：
    $ 3.99万
  • 依托单位：
    Kyoto University
  • 依托单位国家：
    日本
  • 项目类别：
    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
  • 期刊：
    ArXiv
  • 影响因子：
    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
  • 期刊：
    ArXiv
  • 影响因子：
    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.journal_name }}
  • 影响因子：
    {{ 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
通过强化规格的模型检查进行高效的黑盒检查
A guess-and-assume approach to loop fusion for program verification
用于程序验证的循环融合的猜测和假设方法
  • DOI：
    10.1145/3162070
  • 发表时间：
    2018
  • 期刊：
    Proceedings of PEPM 2018
  • 影响因子：
    0
  • 作者：
    Imanishi Akifumi;Suenaga Kohei;Igarashi Atsushi
  • 通讯作者：
    Igarashi Atsushi
The Lattice-Theoretic Essence of?Property Directed Reachability Analysis
属性导向可达性分析的格理论本质
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic
使用程序逻辑形式化假设检验中的统计信念
皮膚からみたアレルギー発症のメカニズム-免疫の視点から--皮膚バリアの視点から
从皮肤角度看过敏发生机制 - 从免疫角度 - 从皮肤屏障角度
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nishida Yuki;Saito Hiromasa;Chen Ran;Kawata Akira;Furuse Jun;Suenaga Kohei;Igarashi Atsushi;椛島健治
  • 通讯作者：
    椛島健治

Suenaga Kohei的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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)

相似海外基金

The theory of meaning via dependent type semantics and its automatic verification
基于依赖类型语义的意义理论及其自动验证
  • 批准号：
    23H03452
  • 财政年份：
    2023
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Improving QA/QC process for video game development based on automatic verification of node graphs
基于节点图自动验证改进视频游戏开发的 QA/QC 流程
  • 批准号：
    23K11382
  • 财政年份：
    2023
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Establishing Trust in Formal Systems by Automatic Verification
通过自动验证建立对正式系统的信任
  • 批准号：
    565952-2021
  • 财政年份：
    2021
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Master's
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure Systems
AutoPaSS：无限大小安全系统中复杂隐私要求的自动验证
  • 批准号：
    EP/S024565/1
  • 财政年份：
    2019
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Research Grant
Automatic Verification of Distributed Mobile Robot Algorithms
分布式移动机器人算法自动验证
  • 批准号：
    26870228
  • 财政年份：
    2014
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Scalable Automatic Verification of GPU Kernels
GPU 内核的可扩展自动验证
  • 批准号：
    EP/K011499/1
  • 财政年份：
    2013
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Research Grant
A study on a reliable automatic verification tool for concurrent systems
一种可靠的并发系统自动验证工具的研究
  • 批准号：
    20500023
  • 财政年份：
    2008
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
基于谓词抽象的大规模嵌入式面向对象设计自动验证方法
  • 批准号：
    19500025
  • 财政年份：
    2007
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
TRR 14: Automatic Verification and Analysis of Complex Systems
TRR 14：复杂系统的自动验证和分析
  • 批准号：
    5485999
  • 财政年份：
    2004
  • 资助金额：
    $ 3.99万
  • 项目类别：
    CRC/Transregios
Automatic Verification of Hybrid System Stability (H04)
混合动力系统稳定性自动验证（H04）
  • 批准号：
    5425851
  • 财政年份：
    2004
  • 资助金额：
    $ 3.99万
  • 项目类别：
    CRC/Transregios
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了