{"id":"W1828993462","doi":"10.1007/978-3-540-45187-7_28","title":"Abstract Patterns of Compositional Reasoning","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Reasoning system; Component (thermodynamics); Deductive reasoning; Construct (python library); Process (computing); Opportunistic reasoning; Composition (language); Adaptive reasoning; Model-based reasoning; Theoretical computer science; Non-monotonic logic; State (computer science); Automated reasoning; Artificial intelligence; Programming language; Knowledge representation and reasoning","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.001288594,0.0003705488,0.0004379956,0.0006230397,0.0001469174,0.000194185,0.002566707,0.0002635435,0.00003987838],"category_scores_gemma":[0.0001072046,0.0003663252,0.0001250521,0.0003656074,0.0004093413,0.0006238501,0.000524948,0.0006550954,0.00001843344],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002243656,"about_ca_system_score_gemma":0.0002902471,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001698576,"about_ca_topic_score_gemma":0.000007303763,"domain_scores_codex":[0.996851,0.00004337201,0.0006269069,0.001011146,0.001033053,0.0004345839],"domain_scores_gemma":[0.9975324,0.0003056526,0.0005132575,0.001243109,0.0002894118,0.0001162043],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000087282,0.00007110557,0.0004160311,0.0001494743,0.00002006711,0.00005045859,0.0006084783,0.02236249,0.001455604,0.4347795,0.00001851344,0.5400596],"study_design_scores_gemma":[0.0008090605,0.0004683236,0.0127278,0.00306194,0.00002390551,0.0003781927,4.854359e-7,0.578262,0.05272246,0.3466958,0.002594871,0.002255145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003048712,0.0001765239,0.9923792,0.0001517732,0.001383111,0.0002266084,0.00001056646,0.00007272729,0.005294603],"genre_scores_gemma":[0.08116592,0.00002575473,0.9180214,0.0005584655,0.0001362766,0.000004836707,0.000006687622,0.00002114815,0.00005951041],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5558996,"threshold_uncertainty_score":0.9998789,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0232226408063481,"score_gpt":0.2769562714368946,"score_spread":0.2537336306305465,"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."}}