{"id":"W4403305752","doi":"10.1017/9781009302180.005","title":"Examples Using More-of-the-Input Loop Invariants","year":2024,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Loop (graph theory); Computer science; Mathematics; Combinatorics","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.00006607609,0.0003065213,0.0003976923,0.000157975,0.00007572364,0.00004965077,0.0003862913,0.0002939276,0.000007019158],"category_scores_gemma":[0.000004067826,0.0003043805,0.0002636912,0.00001494157,0.0001089949,0.00007156473,0.0001864437,0.000317395,0.00001539838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001781608,"about_ca_system_score_gemma":0.0000575675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001979945,"about_ca_topic_score_gemma":0.000002817795,"domain_scores_codex":[0.9990256,0.00001883818,0.0002501889,0.0002650788,0.0002443576,0.000195917],"domain_scores_gemma":[0.9991642,0.00004734981,0.0001114812,0.0005111663,0.00007863526,0.00008716076],"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.00003098925,0.00000418275,0.000005770806,0.0007929874,0.0006823131,0.000135371,0.0001496876,0.01077352,0.00186917,0.9783251,0.006270972,0.0009599593],"study_design_scores_gemma":[0.0006197392,0.00001209741,0.00002752697,0.001041335,0.0005127478,0.00002527694,0.00004939814,0.1115947,0.000738973,0.00002748347,0.8847584,0.0005923618],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001026524,0.0003931352,0.001337829,0.000003466394,0.0007786183,0.0004019938,0.000172644,0.0002212784,0.9956645],"genre_scores_gemma":[0.06150284,0.00002260571,0.00003223573,0.00001012767,0.0001342569,3.551418e-7,0.00001075801,0.00007860357,0.9382082],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9782976,"threshold_uncertainty_score":0.9999408,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02620673056334347,"score_gpt":0.2003398329558322,"score_spread":0.1741331023924888,"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."}}