{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0009558128,0.0004929123,0.0005971485,0.0001397543,0.0003041471,0.001303197,0.004999498,0.0003690886,0.000002674728],"category_scores_gemma":[0.005472123,0.0003597572,0.0004803999,0.0004140674,0.0001455228,0.0002582445,0.004900789,0.0006063335,0.000002447104],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001342849,"about_ca_system_score_gemma":0.0002019521,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002602073,"about_ca_topic_score_gemma":0.00001830578,"domain_scores_codex":[0.9970801,0.00002864551,0.0005760391,0.001095205,0.0005933607,0.0006265884],"domain_scores_gemma":[0.9964043,0.0001747962,0.0008638505,0.001381678,0.001067926,0.0001073732],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004969803,0.001539969,0.004076374,0.009591979,0.0005506597,0.00001304179,0.02323901,0.0002643609,0.00845762,0.1467323,0.003516231,0.8019688],"study_design_scores_gemma":[0.007035378,0.005465227,0.004999548,0.01886269,0.002943536,0.0004591379,0.01509099,0.1419558,0.5399565,0.1543204,0.09762155,0.01128923],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.940657,0.006155185,0.02763995,0.008018336,0.004091668,0.009950764,0.00002646754,0.001707173,0.001753432],"genre_scores_gemma":[0.655929,0.0000362641,0.3419107,0.00009814178,0.0006143082,0.0008411953,0.00002938326,0.00005653393,0.0004844305],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7906795,"threshold_uncertainty_score":0.9998854,"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."}}