{"id":"W1711276981","doi":"10.1007/978-3-540-69738-1_27","title":"Invariant Synthesis for Combined Theories","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":103,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Invariant (physics); Constraint satisfaction; Correctness; Programmer; Satisfiability; Theoretical computer science; Predicate (mathematical logic); Algorithm; Programming language; Mathematics; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001466613,0.0008069501,0.001105067,0.001961281,0.0011379,0.003002887,0.001604927,0.0009824062,0.01810091],"category_scores_gemma":[0.003360021,0.0008786124,0.002228763,0.001384731,0.00249223,0.00570785,0.003106504,0.003237556,0.002960715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001727825,"about_ca_system_score_gemma":0.0007646723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006283614,"about_ca_topic_score_gemma":0.001133164,"domain_scores_codex":[0.9982653,0.0003909977,0.0001288423,0.0003291874,0.0007173703,0.0001682534],"domain_scores_gemma":[0.9985386,0.00069962,0.00007115545,0.0004477354,0.0001932576,0.00004957589],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004651431,0.00002732808,0.0001114966,0.0001044414,0.00003266077,0.00005146804,0.000113644,0.004300552,0.001437088,0.9422596,0.002805951,0.04870927],"study_design_scores_gemma":[0.00001552493,0.00001484979,0.00004905792,0.00003409625,0.0000301666,0.00003685225,0.0000286685,0.01661439,0.00232602,0.9732507,0.007588518,0.00001100067],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01394859,0.001241978,0.9001455,0.0004465901,0.0002718496,0.00008574605,0.0002945224,0.001621017,0.08194415],"genre_scores_gemma":[0.5360349,0.001399375,0.4118556,0.0005292895,0.0003960317,0.0003930989,0.001770643,0.001489645,0.04613146],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01810091,"threshold_uncertainty_score":0.06055361,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02732379085539345,"score_gpt":0.2526834980298743,"score_spread":0.2253597071744808,"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."}}