{"id":"W1487460562","doi":"10.1007/978-3-642-15396-9_10","title":"Checking-Up on Branch-and-Check","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Benders' decomposition; Computer science; Key (lock); Extension (predicate logic); Decomposition; Variation (astronomy); Generalization; Mathematical optimization; Algorithm; Mathematics; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001565221,0.0005282874,0.0004680601,0.0007507626,0.0003064246,0.0005710206,0.00329395,0.0005505402,0.00001912247],"category_scores_gemma":[0.000286223,0.0004807993,0.0001009782,0.0004708713,0.0009898307,0.0006340425,0.001141799,0.001636437,0.00008997593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001700513,"about_ca_system_score_gemma":0.0003022019,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001067457,"about_ca_topic_score_gemma":0.00001921586,"domain_scores_codex":[0.9962291,0.00004395939,0.0004792357,0.001653131,0.0009923292,0.0006022452],"domain_scores_gemma":[0.996987,0.0003878356,0.0003172446,0.001923344,0.0001873332,0.0001971808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005568341,0.00001344487,0.00001457943,0.00002632392,0.000004346778,0.00001141424,0.0005894689,0.0006685664,0.0008477945,0.1614447,0.000005169711,0.8363686],"study_design_scores_gemma":[0.0005754517,0.0005108351,0.000955079,0.0006495688,0.00001339592,0.0002149706,1.489988e-7,0.3965845,0.04502137,0.5367257,0.01703024,0.001718709],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001993645,0.0001537337,0.984611,0.0007346499,0.004800555,0.000337942,0.000002410451,0.0002058346,0.008954472],"genre_scores_gemma":[0.06355159,0.00005381344,0.9332601,0.001955993,0.0005447671,0.00001109988,0.00000218693,0.00003899642,0.000581468],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8346499,"threshold_uncertainty_score":0.9997644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02713786325300041,"score_gpt":0.2808368903337209,"score_spread":0.2536990270807205,"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."}}