TY  - RPRT
TI  - Random ($\log{n}$)-CNF Formulas Are Hard for Depth-$2$ Frege with Modular Gates
AU  - Jonas Conneryd
PY  - 2026
UR  - https://arxiv.org/abs/2610.40397
ID  - 2610.40397
ER  -