{"id":"W4413755882","doi":"10.14778/3718057.3718059","title":"Esc: An Early-Stopping Checker for Budget-Aware Index Tuning","year":2025,"lang":"en","type":"article","venue":"Proceedings of the VLDB Endowment","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Index (typography); Computer science; Model checking; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003078532,0.0001520242,0.0002056776,0.00009819015,0.0002451858,0.0000760357,0.0007964289,0.00004517774,0.000001826869],"category_scores_gemma":[0.0000724281,0.0001105222,0.00009161659,0.0003390185,0.0000544915,0.0008325347,0.0005857751,0.0001060378,0.000001180668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006696922,"about_ca_system_score_gemma":0.00004793833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007676139,"about_ca_topic_score_gemma":0.000005640119,"domain_scores_codex":[0.9988413,0.00000541544,0.0002921119,0.0003551884,0.0002265797,0.0002793407],"domain_scores_gemma":[0.9992158,0.00002462579,0.0002042383,0.0002730563,0.0002296706,0.00005259209],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003340728,0.00008382213,0.009973976,0.0003768591,0.0000648429,3.517402e-7,0.001608885,0.00006651774,0.03180933,0.9461116,0.001414695,0.008455723],"study_design_scores_gemma":[0.003961049,0.0005739675,0.0238138,0.002654633,0.0001015291,0.00002182874,0.003895184,0.1084881,0.6286231,0.02825941,0.1982846,0.001322853],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1290967,0.0002032418,0.8637857,0.001276397,0.0008511966,0.001159492,0.00002107505,0.0002008008,0.003405465],"genre_scores_gemma":[0.9204472,0.000009258564,0.07745492,0.0003286767,0.00006412419,0.0001947545,0.000001881172,0.00001304736,0.001486189],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9178522,"threshold_uncertainty_score":0.4506966,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01234812841433128,"score_gpt":0.2604888289779635,"score_spread":0.2481407005636322,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}