Akihiro Kishimoto
12 papers · 2015–2023 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (31) π Academic Marathon Β· Sprint π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π
Keyword Champion
π§
Keyword Pioneer
π§¬
Topic Evolution
π
Trend Setter
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
π
Renaissance Researcher
(5)
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(69)
Venues
Top co-authors
Research topics
Artificial Intelligence
(10)
Core AI
(10)
Machine Learning
(9)
Mathematics & Optimization
(6)
Optimization
(6)
Optimization & Theory
(5)
Computer Science
(4)
Core Methods
(4)
Foundations
(3)
Learning Types Β· Machine Learning
(3)
Deep Learning
(2)
Bayesian & Probabilistic
(2)
Learning Types Β· Deep Learning
(2)
Natural Language Processing
(1)
Reinforcement Learning
(1)
Keywords
graphical model
(3)
heuristic search
(3)
and or search
(3)
best-first search
(3)
marginal map
(2)
exact inference
(2)
hyperparameter optimization
(2)
and/or search
(2)
depth-first search
(2)
transfer learning
(2)
parallel search
(2)
pipeline optimization
(2)
connectionist temporal classification
(1)
weakly supervised learning
(1)
branch and bound
(1)
map inference
(1)
path planning
(1)
temporal classification
(1)
multi-armed bandit
(1)
ensemble learning
(1)
Papers
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
IJCAI 2023
Foundation Model for Material Science
AAAI 2023
Bandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization
AAAI 2022
Finding Sub-task Structure with Natural Language Instruction
ACL 2022
Searching for Machine Learning Pipelines Using a Context-Free Grammar
AAAI 2021
Parallel AND/OR Search for Marginal MAP
AAAI 2020
Anytime Recursive Best-First Search for Bounding Marginal MAP
AAAI 2019
Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces
IJCAI 2019
Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning
NeurIPS 2019
A Scalable Approach to Chasing Multiple Moving Targets with Multiple Agents
IJCAI 2017
Efficient Optimal Search under Expensive Edge Cost Computation
IJCAI 2017
Parallel Recursive Best-First AND/OR Search for Exact MAP Inference in Graphical Models
NeurIPS 2015