{"id":"W3042245160","doi":"10.1145/3434292","title":"Probabilistic programming semantics for name generation","year":2021,"lang":"en","type":"preprint","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Probabilistic logic; Semantics (computer science); Calculus (dental); Computer science; Analogy; Operational semantics; Mathematics; Algebra over a field; Discrete mathematics; Programming language; Pure mathematics; Artificial intelligence; Linguistics","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.007639281,0.0009729165,0.000989239,0.002243854,0.002411111,0.00631901,0.003891531,0.002818939,0.009275609],"category_scores_gemma":[0.01322328,0.0009876277,0.002882406,0.002236852,0.008112065,0.01618071,0.004662128,0.00617764,0.002046997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002858151,"about_ca_system_score_gemma":0.002284276,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001883705,"about_ca_topic_score_gemma":0.001295281,"domain_scores_codex":[0.9928611,0.002169125,0.0005452453,0.001508402,0.002388683,0.0005273625],"domain_scores_gemma":[0.9892325,0.005809782,0.0008188493,0.00229547,0.001338072,0.0005051784],"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.000004922973,0.000006583163,0.00004233522,0.00001476217,0.000004006129,0.00002536379,0.000122493,0.0009325614,0.000138508,0.9962066,0.000347919,0.002153926],"study_design_scores_gemma":[0.000008088731,0.000006512042,0.00002921865,0.00001192489,0.000006623972,0.00006815173,0.00003111579,0.008712841,0.0003412404,0.9841049,0.006667123,0.00001211764],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003762229,0.0003459185,0.9814532,0.002735492,0.0001830807,0.00004884766,0.0002284078,0.0005423679,0.01070049],"genre_scores_gemma":[0.4158911,0.001213606,0.5576894,0.002763771,0.001174574,0.0007305029,0.0006715078,0.0007838303,0.0190817],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009275609,"threshold_uncertainty_score":0.0404008,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03437121408324206,"score_gpt":0.2882303096701417,"score_spread":0.2538590955868996,"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."}}