about
Learning Randomized Reductions (arxiv.org)
2 points by matt_d 153 days ago | hide | past | pdf | discuss on HN

In plain words: A tool automatically finds ways to compute a function at one point from its values at random related points, a trick used for self-correcting programs and long done by hand. Its agent-driven version found formulas for 64 of 80 functions, beating neural-only approaches.

Abstract

Randomized self-reductions (RSRs) express $f(x)$ using $f$ evaluated at random correlated points, enabling self-correcting programs, instance-hiding protocols, and applications in complexity theory and cryptography. Yet discovering RSRs has required manual expert derivation for over 40 years, limiting their practical use. We present Bitween for automated RSR learning. First, we formalize RSR learning with sample complexity analysis under correlated sampling. Second, we develop Vanilla Bitween, which integrates multiple backends (linear regression, genetic programming, symbolic regression, and mixed-integer programming). The linear regression backend outperforms the others, discovering RSRs for 43 of 80 functions (54%) in RSR-Bench, our benchmark suite, including the first known reduction for sigmoid. Third, we introduce Agentic Bitween, a neuro-symbolic approach where LLM agents propose novel query functions beyond the fixed set ($x+r$, $x-r$, $x \cdot r$, $x$, $r$) in prior work. Agentic Bitween discovers RSRs for 64 of 80 functions (80%), outperforming pure neural baselines in both RSR discovery and verification accuracy.

Ferhat Erata, Orr Paradise, Thanos Typaldos, Timos Antonopoulos, ThanhVu Nguyen, Shafi Goldwasser, Ruzica Piskac
arXiv:2412.18134 · cs.LG, cs.CC, cs.PL, cs.SE · submitted Dec 24, 2024 · updated Jun 3, 2026
abstract · pdf · html · Accepted at ICML 2026 (Spotlight). 9 pages main text + appendix

add comment on HN