{"id":"W2979931682","doi":"10.1017/s0960129519000136","title":"A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday","year":2019,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Surprise; Miller; Event (particle physics); Computer science; Computation; Artificial intelligence; Cognitive science; Psychology; Algorithm; Communication","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.004799691,0.001843729,0.002279271,0.002795193,0.004276007,0.01151254,0.002107797,0.005048877,0.04662111],"category_scores_gemma":[0.01508842,0.001089829,0.00226147,0.001868075,0.003169374,0.01008722,0.004000476,0.01115116,0.01444267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005462817,"about_ca_system_score_gemma":0.003382063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008995497,"about_ca_topic_score_gemma":0.00231089,"domain_scores_codex":[0.9942185,0.001052932,0.0003987413,0.00127853,0.002480419,0.0005709982],"domain_scores_gemma":[0.9862124,0.006547205,0.000673397,0.000912926,0.002739605,0.002914418],"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.00003118344,0.000024719,0.00006934017,0.0001584892,0.00001418659,0.00007231205,0.00005795311,0.00009565046,0.0001528053,0.007550356,0.9814969,0.01027598],"study_design_scores_gemma":[0.000009752538,0.00001644237,0.0001511522,0.0001761808,0.000009046846,0.0001190452,0.00003524774,0.000178318,0.00007679178,0.006730561,0.9924867,0.00001068397],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0005344835,0.0318098,0.002850333,0.112268,0.8260626,0.00005489438,0.0002592855,0.000298569,0.02586192],"genre_scores_gemma":[0.005009896,0.01653541,0.001144298,0.01730423,0.8829556,0.00007167507,0.0003645156,0.0006152297,0.07599909],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.04662111,"threshold_uncertainty_score":0.1559632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008451916697481883,"score_gpt":0.2712746612722881,"score_spread":0.2628227445748062,"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."}}