{"id":"W851324503","doi":"10.1017/cbo9780511808241.009","title":"The Loop Invariant for Lower Bounds","year":2008,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Loop (graph theory); Invariant (physics); Mathematics; Computer science; Combinatorics; Mathematical physics","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.0003493123,0.0003066067,0.0002661649,0.0001074005,0.0008341868,0.0001741051,0.002304575,0.0003126566,5.314319e-7],"category_scores_gemma":[0.0000464616,0.0002858374,0.0002467018,0.00001401249,0.0003800803,0.0002436686,0.0006869403,0.0003713371,0.00001514461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002245913,"about_ca_system_score_gemma":0.0002313657,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000207522,"about_ca_topic_score_gemma":0.000001015823,"domain_scores_codex":[0.9984902,0.0000596234,0.0002238956,0.0005675744,0.0003127747,0.000345889],"domain_scores_gemma":[0.9976234,0.0002447626,0.0003102588,0.001409863,0.0002848538,0.0001268827],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005004999,0.000005088298,6.135564e-8,0.00001926067,0.00005367565,0.00004651433,0.00005177314,0.00000201959,0.00001204618,0.9349962,0.05817225,0.006591013],"study_design_scores_gemma":[0.0003127407,0.00008978986,0.000004281063,0.0000421991,0.00004149961,0.00003401922,0.000005140336,0.003613322,0.0002971672,0.00009561273,0.9951221,0.0003421312],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000004411078,0.0001386344,0.2983997,0.00003428097,0.0008421706,0.0004923999,0.00004345701,0.0001379906,0.699907],"genre_scores_gemma":[0.00003466824,0.0002722361,0.03651884,0.0001012631,0.0001372433,0.000003664004,0.00001042387,0.00003070504,0.962891],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9369498,"threshold_uncertainty_score":0.9999593,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0410786066416894,"score_gpt":0.2296455521685621,"score_spread":0.1885669455268726,"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."}}