research
∙
05/15/2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Using reinforcement learning for automated theorem proving has recently ...
share
research
∙
07/08/2022
GT4SD: Generative Toolkit for Scientific Discovery
With the growing availability of data within various scientific domains,...
research
∙
08/06/2021
Molecule Generation Experience: An Open Platform of Material Design for Public Users
Artificial Intelligence (AI)-driven material design has been attracting ...
research
∙
07/02/2021
Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization
The pipeline optimization problem in machine learning requires simultane...
research
∙
07/02/2020
Estimating Blink Probability for Highlight Detection in Figure Skating Videos
Highlight detection in sports videos has a broad viewership and huge com...
research
∙
08/24/2019
Subadditive Load Balancing
Set function optimization is essential in AI and machine learning. We fo...
research
∙
02/02/2019
Generating Dialogue Agents via Automated Planning
Dialogue systems have many applications such as customer support or ques...
research
∙
08/16/2017
A Survey of Parallel A*
A* is a best-first search algorithm for finding optimal-cost paths in gr...
research
∙
01/16/2012