As an application to a model describing graphs with partial information, I found what might be an (as yet unverified) proof that $R(5,5)\leq 47$.
According to the Dynamic Survey of Ramsey Numbers at https://www.combinatorics.org/ojs/index.php/eljc/article/view/DS1 that bound is not yet proved. However, I don't know if that survey is up to date.