3 papers
cs.AI2024
Refutation of Spectral Graph Theory Conjectures with Search Algorithms)
Milo Roucairol, Tristan Cazenave
We are interested in the automatic refutation of spectral graph theory conjectures. Most existing works address this problem either with the exhaustive generation of graphs with a…
cs.AI2023
Solving the HP model with Nested Monte Carlo Search
Milo Roucairol, Tristan Cazenave
In this paper we present a new Monte Carlo Search (MCS) algorithm for finding the ground state energy of proteins in the HP-model. We also compare it briefly to other MCS algorithm…
cs.AI2022
Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search
Milo Roucairol, Tristan Cazenave
We demonstrate how Monte Carlo Search (MCS) algorithms, namely Nested Monte Carlo Search (NMCS) and Nested Rollout Policy Adaptation (NRPA), can be used to build graphs and find co…