{"id":"W4407349698","doi":"10.4204/eptcs.416.35","title":"Logical foundations of Smart Contracts","year":2025,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Business; Computer science","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":[],"consensus_categories":[],"category_scores_codex":[0.00153985,0.0001282424,0.000215216,0.0004474924,0.0002268553,0.0001272185,0.002537324,0.0001071556,0.000008011899],"category_scores_gemma":[0.0002165369,0.0001138632,0.00004438736,0.00325152,0.002303967,0.000350768,0.0007400732,0.0004307158,0.000005456126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001552231,"about_ca_system_score_gemma":0.000362299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002688218,"about_ca_topic_score_gemma":0.000002542211,"domain_scores_codex":[0.9981014,0.00001415968,0.0003460509,0.0006153312,0.0002879299,0.0006351361],"domain_scores_gemma":[0.9990621,0.0001610131,0.0000827735,0.0003616441,0.0002692626,0.00006321481],"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.000004706517,0.000117497,0.0003784094,0.000005901807,0.000003206843,4.629084e-7,0.00008745938,0.000004592543,0.0008646555,0.9820721,0.00002537544,0.01643561],"study_design_scores_gemma":[0.0002018183,0.0001407645,0.001626661,0.00002449947,0.000002488091,0.00000976484,0.000005573476,0.1747053,0.01172506,0.810973,0.0004856365,0.00009944424],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1096064,0.00009262473,0.8766553,0.004166249,0.0001129482,0.0002534343,2.69534e-7,0.0001702419,0.008942497],"genre_scores_gemma":[0.968393,0.00001497037,0.03117353,0.0003599884,0.00001206712,0.00003636254,1.59528e-7,0.00000242245,0.000007453039],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8587866,"threshold_uncertainty_score":0.8489062,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005451739293153793,"score_gpt":0.2521454766779906,"score_spread":0.2466937373848369,"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."}}