Co-occurring keywords · papers mentioning both
Papers
Generative Gamer: Learning Equilibrium Strategy by LLM-driven Dynamic Deduction
ACL 2026
Massively Parallel Proof-Number Search for Impartial Games and Beyond
AAAI 2026
Policy-Guided Heuristic Search with Guarantees
AAAI 2021
Coherent Inference on Optimal Play in Game Trees
AISTATS 2010