Ryan Hayward
4 papers · 2014–2024 · 2 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 ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
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