{"id":"W4409708822","doi":"10.1007/978-3-031-85352-4_15","title":"Alonzo Variants","year":2025,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computational biology; Biology","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.0008110034,0.0008887444,0.0006412122,0.001998294,0.00193404,0.004237589,0.001939329,0.001295142,0.1905628],"category_scores_gemma":[0.001714703,0.0004276551,0.0008189689,0.002396778,0.001419682,0.003926757,0.002578562,0.002696853,0.0733945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002622349,"about_ca_system_score_gemma":0.001338924,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006486186,"about_ca_topic_score_gemma":0.01475002,"domain_scores_codex":[0.9990962,0.0001051209,0.00003588307,0.0002421515,0.0003908893,0.0001298672],"domain_scores_gemma":[0.9993526,0.00008251096,0.00002972619,0.0001871343,0.0002673934,0.00008042852],"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.0002102037,0.00003866069,0.0002264131,0.0002104134,0.00001464192,0.0001023262,0.0003047931,0.0003453383,0.001088375,0.5076433,0.2667502,0.2230655],"study_design_scores_gemma":[0.00001374872,0.000008288753,0.0001296908,0.00005070238,0.000007435136,0.000100919,0.0000415404,0.000255558,0.000398176,0.03802279,0.9609628,0.00000817915],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001973128,0.004585129,0.01734525,0.003741998,0.00427576,0.00005792293,0.001097447,0.0009833812,0.9659401],"genre_scores_gemma":[0.01854377,0.002358651,0.01150592,0.001057986,0.0008279515,0.00005802824,0.00128769,0.00101623,0.9633437],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1905628,"threshold_uncertainty_score":0.6374961,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03113332735393555,"score_gpt":0.25547641450498,"score_spread":0.2243430871510445,"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."}}