{"id":"W7029361193","doi":"","title":"The Logic of UTP2","year":2012,"lang":"en","type":"other","venue":"Arrow@dit (Dublin Institute of Technology)","topic":"Historical Studies on Reproduction, Gender, Health, and Societal Changes","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Trinity College","funders":"Science Foundation Ireland; Canada Millennium Scholarship Foundation","keywords":"Soundness; Automated theorem proving; Gas meter prover; Proof theory; Focus (optics); Hoare logic; Calculus (dental); Logic programming; Substitution (logic)","routes":{"ca_aff":true,"ca_fund":true,"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":["sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003039503,0.000305439,0.0006174557,0.00034913,0.0005623527,0.00001648803,0.0006557493,0.0005102236,0.001135342],"category_scores_gemma":[0.0001541689,0.0002097194,0.0002036864,0.0002146884,0.003175679,0.0000768889,0.000148335,0.0004349591,0.0001184567],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001006776,"about_ca_system_score_gemma":0.00009194751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007291975,"about_ca_topic_score_gemma":0.003205474,"domain_scores_codex":[0.9983717,0.00002379726,0.0005083909,0.0003746265,0.000293177,0.0004283476],"domain_scores_gemma":[0.9982583,0.00002894878,0.000644971,0.0008124883,0.0001985747,0.0000567517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005425707,0.00009321261,0.00002048795,0.0002206474,0.000156972,0.000001005651,0.001540495,1.811733e-7,0.000006926321,0.4898315,0.5012982,0.006824942],"study_design_scores_gemma":[0.0001598109,0.0001016295,0.000003984304,0.00007907843,0.00006610974,0.000002304312,0.00293798,3.542168e-7,0.00005290471,0.004067806,0.9923201,0.0002079332],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0003314503,0.06136093,0.00002519561,0.006904293,0.01141602,0.0005730087,0.0001099717,0.000527115,0.918752],"genre_scores_gemma":[0.0156428,0.01604743,0.0005093977,0.0001438808,0.00338972,0.0001103827,0.00003094798,0.0001935773,0.9639319],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4910219,"threshold_uncertainty_score":0.9997777,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05880608957389512,"score_gpt":0.2643840768998347,"score_spread":0.2055779873259395,"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."}}