{"id":"W2892721170","doi":"10.1145/3290357","title":"Skeletal semantics and their interpretations","year":2019,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; Agence Nationale de la Recherche; Canadian Institute of Steel Construction","keywords":"Generator (circuit theory); Simple (philosophy); Semantics (computer science); Consistency (knowledge bases); Constraint (computer-aided design); Compiler; Development (topology)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000324105,0.0001545094,0.0001921792,0.00007499792,0.00009276929,0.0002365431,0.001745561,0.00006103193,0.000002470284],"category_scores_gemma":[0.0003461228,0.00009018754,0.00009327636,0.0002821106,0.00008186454,0.0002574621,0.0009006298,0.0001518835,0.00001471542],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001409557,"about_ca_system_score_gemma":0.0000139018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002123998,"about_ca_topic_score_gemma":0.000001932009,"domain_scores_codex":[0.9990551,0.00001014578,0.0001948565,0.0002986763,0.0001981007,0.0002431538],"domain_scores_gemma":[0.9990457,0.00008933579,0.0002033248,0.0004942997,0.0001200811,0.00004729885],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000009620102,0.0001591762,0.03836843,0.0004720819,0.00010389,0.000001184845,0.01470413,0.000002055589,0.01146021,0.6197725,0.0003509526,0.3145958],"study_design_scores_gemma":[0.004744517,0.005349065,0.04759903,0.001020134,0.0002400196,0.0006427086,0.04835611,0.01191125,0.3750969,0.3560357,0.1451901,0.003814482],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9838942,0.0008601237,0.00323126,0.002882051,0.000570074,0.001092003,0.000001573615,0.0004095078,0.007059265],"genre_scores_gemma":[0.99164,0.000006899534,0.007666931,0.0001057957,0.00004244049,0.00002166643,6.213038e-7,0.00001211966,0.0005034968],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3636367,"threshold_uncertainty_score":0.3677741,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01054795506004988,"score_gpt":0.2443345785145934,"score_spread":0.2337866234545435,"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."}}