TY  - RPRT
TI  - Exponential Lower Bounds on the Size of ResLin Proofs of Nearly Quadratic Depth
AU  - Sreejata Kishor Bhattacharya
AU  - Arkadev Chattopadhyay
PY  - 2025
UR  - https://arxiv.org/abs/2507.23008
ID  - 2507.23008
ER  -