Login / Signup

Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search.

Milo RoucairolTristan Cazenave
Published in: COCOON (2022)
Keyphrases
  • spectral graph theory
  • monte carlo search
  • theorem prover
  • inductive inference
  • evaluation function
  • theorem proving
  • monte carlo tree search
  • inference rules
  • first order logic
  • feature selection