An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Conference paper
Publications
30 results for Akihiro Kishimoto
AI powered, automated discovery of polymer membranes for carbon capture
- Ronaldo Giro
- Hsianghan Hsu
- et al.
- 2023
- npj Computational Materials
PaperFoundation Model for Material Science
- Seiji Takeda
- Akihiro Kishimoto
- et al.
- 2023
- AAAI 2023
Conference paperAccelerating material design with the generative toolkit for scientific discovery
- Matteo Manica
- Jannis Born
- et al.
- 2023
- npj Computational Materials
PaperBandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization
- Akihiro Kishimoto
- Djallel Bouneffouf
- et al.
- 2022
- AAAI 2022
Conference paperFinding Sub-task Structure with Natural Language Instruction
- Ryokan Ri
- Yufang Hou
- et al.
- 2022
- ACL 2022
Workshop paperCounting Vertex-Disjoint Shortest Paths in Graphs
- Adi Botea
- Massimiliano Mattetti
- et al.
- 2021
- SoCS 2021
Conference paperParallel AND/OR search for marginal MAP
- Radu Marinescu
- Akihiro Kishimoto
- et al.
- 2020
- AAAI 2020
Conference paperDepth-first proof-number search with heuristic edge cost and application to chemical synthesis planning
- Akihiro Kishimoto
- Beat Buesser
- et al.
- 2019
- NeurIPS 2019
Conference paperComputing multi-modal journey plans under uncertainty
- Adi Botea
- Akihiro Kishimoto
- et al.
- 2019
- JAIR
Paper