Papers
An Approximate Skolem Function Counter
AAAI 2024
Deep Learning-Based Alternative Route Computation
AISTATS 2024
Open-Book Neural Algorithmic Reasoning
NIPS 2024
Speculative Monte-Carlo Tree Search
NIPS 2024