Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search.

Milo Roucairol Tristan Cazenave

Published in: CoRR (2022)

Keyphrases

spectral graph theory
monte carlo search
theorem prover
inductive inference
evaluation function
theorem proving
monte carlo tree search
first order logic
inference rules
monte carlo
machine learning
data structure
dynamic programming