Ryan Hayward
4 papers · 2014–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (2) π Academic Marathon (10) π Interdisciplinary Bridge π§ Keyword Pioneer π£ Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
IJCAI (3)
COLING (1)
Top co-authors
Keywords
Papers
Expected Work Search: Combining Win Rate and Proof Size Estimation
IJCAI 2024
Three-Head Neural Network Architecture for Monte Carlo Tree Search
IJCAI 2018
Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex
IJCAI 2017
Solving Substitution Ciphers with Combined Language Models
COLING 2014