TY  - RPRT
TI  - LEVER: Adaptive Cost-Aware Proof Search Over AND/OR Graphs
AU  - Nihal Jain
AU  - Shuangjie Yao
AU  - Begum Cicekdag
AU  - Zhuo Zhang
AU  - Suman Jana
PY  - 2026
UR  - https://arxiv.org/abs/2610.11862
ID  - 2610.11862
ER  -