Ctrl+K
- claim-1-formalization-and-sample-complexity-analysis
- claim-2-rsr-bench-contains-80-benchmark-functions
- claim-3-vanilla-bitween-discovers-rsrs-for-43-of-80-functions
- claim-4-agentic-bitween-discovers-rsrs-for-64-of-80-functions
- claim-5-regression-backend-outperforms-milp-backend
- conclusion
- executive-summary
- methods-provenance
- 770 Bytes