An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Publications
Date
Featured collections
Popular topics
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
Foundation Model for Material Science
- Seiji Takeda
- Akihiro Kishimoto
- et al.
- 2023
- AAAI 2023
Accelerating material design with the generative toolkit for scientific discovery
- Matteo Manica
- Jannis Born
- et al.
- 2023
- npj Computational Materials
Bandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization
- Akihiro Kishimoto
- Djallel Bouneffouf
- et al.
- 2022
- AAAI 2022
Finding Sub-task Structure with Natural Language Instruction
- Ryokan Ri
- Yufang Hou
- et al.
- 2022
- ACL 2022
Counting Vertex-Disjoint Shortest Paths in Graphs
- Adi Botea
- Massimiliano Mattetti
- et al.
- 2021
- SoCS 2021
Parallel AND/OR search for marginal MAP
- Radu Marinescu
- Akihiro Kishimoto
- et al.
- 2020
- AAAI 2020
Depth-first proof-number search with heuristic edge cost and application to chemical synthesis planning
- Akihiro Kishimoto
- Beat Buesser
- et al.
- 2019
- NeurIPS 2019
Computing multi-modal journey plans under uncertainty
- Adi Botea
- Akihiro Kishimoto
- et al.
- 2019
- JAIR