Luna: Neuer C++‑Bound‑Propagator für neuronale Netzwerke
Die neueste Veröffentlichung auf arXiv (2603.23878v1) stellt Luna vor – einen leistungsstarken Bound‑Propagator, der in C++ implementiert ist und die bisher in Python beschränkte alpha‑CROWN‑Analyse erweitert. Luna komb…