{
  "paper_id": "hCAEcqig2C",
  "arxiv_ids": [
    "2412.18134v1",
    "2412.18134v5"
  ],
  "commit": "e13d4b59f6d23051c73e07cfc447336da84e7bd2",
  "versions": {
    "v1": {
      "sha256": "abaac08eabec2e77c8af7ae3ca028691b9cd862e21bfa779452b9fd729e3222f",
      "size_bytes": 2490520,
      "table_2": {
        "title": "Learned Post-Condition Example",
        "locator": "Table 2",
        "benchmark": "post-condition",
        "sample_count": 20,
        "is_backend_comparison": false
      },
      "rsr_bench": {
        "locator": "Section 5.3.1",
        "benchmark": "RSR-Bench",
        "compared_methods": [
          "LR",
          "MILP"
        ],
        "metrics": [
          "sample count",
          "runtime"
        ],
        "lr_samples": 594,
        "milp_samples": 1095,
        "lr_runtime": 130.53,
        "milp_runtime": 187.47
      },
      "nla_digbench": {
        "locator": "Section 5.3.2",
        "benchmark": "NLA-DigBench",
        "compared_methods": [
          "Bitween",
          "DIG",
          "SymInfer"
        ],
        "metrics": [
          "solving count",
          "runtime"
        ]
      }
    },
    "v5": {
      "sha256": "93cab4aa8cec06434b704e639bab87dd15ea95ac46a335961138a94fc1bae2b8",
      "size_bytes": 2004773,
      "definitions": {
        "def_4_1": {
          "name": "Randomized Self-Reduction (RSR)",
          "page": 4
        },
        "def_4_3": {
          "name": "Correlated Query Distribution",
          "page": 5
        },
        "def_4_5": {
          "name": "RSR Learning Problem",
          "page": 5
        }
      },
      "claims": {
        "claim_a1": {
          "name": "PAC to RSR reduction bound",
          "section": "Appendix A.1"
        },
        "claim_a2": {
          "name": "Sample complexity of RSR learning",
          "section": "Appendix A.2"
        }
      },
      "table_2": {
        "title": "Novel Agentic Bitween Query Functions",
        "locator": "Table 2",
        "benchmark": "RSR-Bench",
        "contains_novel_queries": true
      }
    }
  }
}