{"id":"W4403306459","doi":"10.1017/9781009302180.046","title":"A Formal Proof of Correctness","year":2024,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Conflict of Laws and Jurisdiction","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Correctness; Computer science; Programming language; Formal proof; Mathematics; Mathematical proof; Geometry","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.003136215,0.001247352,0.000741971,0.001111044,0.001331825,0.004038384,0.001811322,0.001719822,0.03420182],"category_scores_gemma":[0.01141188,0.0009937116,0.001946057,0.0009093718,0.005309595,0.008399273,0.003228038,0.005522085,0.01617389],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002056347,"about_ca_system_score_gemma":0.002754339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001993511,"about_ca_topic_score_gemma":0.001578288,"domain_scores_codex":[0.9971992,0.0008103294,0.0001978422,0.0004595286,0.001135215,0.000197858],"domain_scores_gemma":[0.9967315,0.001908163,0.00009767763,0.000556647,0.0006318277,0.00007411713],"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.000009951185,0.00001778544,0.00005658814,0.000179118,0.000008427535,0.00004616427,0.0003245572,0.001799047,0.0005840234,0.91161,0.03730496,0.04805923],"study_design_scores_gemma":[0.00001575227,0.00001867199,0.00007140231,0.0002329374,0.000008603802,0.0001499177,0.00008635388,0.00407824,0.001174182,0.6691418,0.3250042,0.00001800514],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001272132,0.002577578,0.7982108,0.00705221,0.001406615,0.0001765668,0.000495578,0.002373571,0.186435],"genre_scores_gemma":[0.0789476,0.005347497,0.7263862,0.006020098,0.001068401,0.0007142767,0.001201846,0.002662335,0.1776517],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03420182,"threshold_uncertainty_score":0.1144165,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02418573655749469,"score_gpt":0.2362906604989945,"score_spread":0.2121049239414998,"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."}}