45 citations · 62 across the 9 of their papers we have counts for
9 papers
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse +5
Using reinforcement learning for automated theorem proving has recently received much attention. Current approaches use representations of logical statements that often rely on the…
Molecule Generation Experience: An Open Platform of Material Design for Public Users
Seiji Takeda, Toshiyuki Hama, Hsiang-Han Hsu +10
Artificial Intelligence (AI)-driven material design has been attracting great attentions as a groundbreaking technology across a wide spectrum of industries. Molecular design is pa…
Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization
Paulito P. Palmes, Akihiro Kishimoto, Radu Marinescu +2
The pipeline optimization problem in machine learning requires simultaneous optimization of pipeline structures and parameter adaptation of their elements. Having an elegant way to…
Client Network: An Interactive Model for Predicting New Clients
Massimiliano Mattetti, Akihiro Kishimoto, Adi Botea +4
Understanding prospective clients becomes increasingly important as companies aim to enlarge their market bases. Traditional approaches typically treat each client in isolation, ei…
Estimating Blink Probability for Highlight Detection in Figure Skating Videos
Tamami Nakano, Atsuya Sakata, Akihiro Kishimoto
Highlight detection in sports videos has a broad viewership and huge commercial potential. It is thus imperative to detect highlight scenes more suitably for human interest with hi…
Subadditive Load Balancing
Kiyohito Nagano, Akihiro Kishimoto
Set function optimization is essential in AI and machine learning. We focus on a subadditive set function that generalizes submodularity, and examine the subadditivity of non-submo…
Generating Dialogue Agents via Automated Planning
Adi Botea, Christian Muise, Shubham Agarwal +9
Dialogue systems have many applications such as customer support or question answering. Typically they have been limited to shallow single turn interactions. However more advanced…
A Survey of Parallel A*
Alex Fukunaga, Adi Botea, Yuu Jinnai +1
A* is a best-first search algorithm for finding optimal-cost paths in graphs. A* benefits significantly from parallelism because in many applications, A* is limited by memory usage…
Evaluation of a Simple, Scalable, Parallel Best-First Search Strategy
Akihiro Kishimoto, Alex Fukunaga, Adi Botea
Large-scale, parallel clusters composed of commodity processors are increasingly available, enabling the use of vast processing capabilities and distributed RAM to solve hard searc…