firstbacksecondback
4 Results
|
Poster
|
Wed 9:00 |
Evaluation beyond Task Performance: Analyzing Concepts in AlphaZero in Hex Charles Lovering · Jessica Forde · George Konidaris · Ellie Pavlick · Michael Littman |
|
|
Poster
|
Thu 14:00 |
Simulation-guided Beam Search for Neural Combinatorial Optimization Jinho Choo · Yeong-Dae Kwon · Jihoon Kim · Jeongwoo Jae · André Hottung · Kevin Tierney · Youngjune Gwon |
|
|
Poster
|
Tue 14:00 |
Spending Thinking Time Wisely: Accelerating MCTS with Virtual Expansions Weirui Ye · Pieter Abbeel · Yang Gao |
|
|
Poster
|
Wed 9:00 |
HyperTree Proof Search for Neural Theorem Proving Guillaume Lample · Timothee Lacroix · Marie-Anne Lachaux · Aurelien Rodriguez · Amaury Hayat · Thibaut Lavril · Gabriel Ebner · Xavier Martinet |