Theoretical Challenges in Learning for Branch-and-Cut - a Hugging Face Space by ParetoOptimal