TY  - RPRT
TI  - Learning CNF formulas from uniform random solutions in the local lemma regime
AU  - Weiming Feng
AU  - Xiongxin Yang
AU  - Yixiao Yu
AU  - Yiyao Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2511.02487
ID  - 2511.02487
ER  -