Hardness of Clique Approximation for Monotone Circuits. - Jaroslaw Blasiok; Linus Meierhöfer (CCC, 2025)