Ctrl+K
- claim-1-vanilla-bitween-discovers-rsrs-for-43-of-80-functions-54-in-rsr-bench-including-first-known-reduction-for-sigmoid
- claim-2-agentic-bitween-neuro-symbolic-approach-with-llm-agents-discovers-rsrs-for-64-of-80-functions-80
- claim-3-agentic-bitween-outperforms-pure-neural-baselines-in-both-rsr-discovery-and-verification-accuracy
- conclusion
- executive-summary
- 913 Bytes