1: \begin{abstract}

2:   In Bell scenarios with two outcomes per party, we algorithmically consider the two sides of the membership problem for the local polytope: constructing local models and deriving separating hyperplanes, that is, Bell inequalities.

3:   We take advantage of the recent developments in so-called Frank--Wolfe algorithms to significantly increase the convergence rate of existing methods.

4:   As an application, we study the threshold value for the nonlocality of two-qubit Werner states under projective measurements.

5:   Here, we improve on both the upper and lower bounds present in the literature, almost halving the length of the accompanying range.

6:   Importantly, our lower bound is entirely analytical and yields a refined bound $K_G(3)\leq\boundKG\ldots$ on the value of the Grothendieck constant of order three.

7:   We also demonstrate the efficiency of our approach in multipartite Bell scenarios, and present the first local models for all projective measurements with visibilities noticeably higher than the entanglement threshold.

8:   We make our entire code accessible as a Julia library called \texttt{BellPolytopes.jl}.

9: \end{abstract}

10: