TY - RPRT TI - Learning CNF Formulas from Uniform Random Solutions: Near-Tight Sample Complexity for Valiant's Algorithm AU - Weiming Feng AU - Yixiao Yu AU - Yiyao Zhang PY - 2026 UR - https://arxiv.org/abs/2609.15268 ID - 2609.15268 ER -