{"id":"W4390605291","doi":"10.1145/3632903","title":"Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Air Force Office of Scientific Research; Defense Advanced Research Projects Agency; Ministry of Science and ICT, South Korea; National Research Foundation of Korea; National Research Foundation; Royal Society; Semiconductor Research Corporation","keywords":"Probabilistic logic; Markov chain; Discrete mathematics; Computer science; Graph; Measure (data warehouse); Random graph; Mathematics; Theoretical computer science; Artificial intelligence; Data mining; Statistics","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.0009378577,0.0003173607,0.0003504653,0.000210497,0.0002621392,0.0008965803,0.002049758,0.0001076963,0.000001882038],"category_scores_gemma":[0.001682963,0.0002019949,0.0001996732,0.0006945173,0.000285392,0.0004202291,0.00089471,0.0002529139,0.000002096693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004362185,"about_ca_system_score_gemma":0.00005855642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000492294,"about_ca_topic_score_gemma":0.00001698551,"domain_scores_codex":[0.9981356,0.00001852157,0.0003534839,0.000681148,0.0002953256,0.000515935],"domain_scores_gemma":[0.9986349,0.0004085675,0.0001902001,0.0004453977,0.000218417,0.0001025519],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000173018,0.0002076728,0.002176027,0.002632433,0.0001959172,0.000006907462,0.01127423,8.613961e-7,0.002409026,0.1563082,0.002246692,0.822369],"study_design_scores_gemma":[0.01125344,0.008264507,0.007556062,0.009768832,0.001639262,0.001165615,0.02188641,0.01517405,0.1630391,0.5630518,0.1917477,0.005453236],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9671156,0.01760546,0.002297912,0.004467831,0.001383542,0.0043699,0.00001916702,0.00142223,0.00131838],"genre_scores_gemma":[0.9409236,0.00004067186,0.0580932,0.00004303945,0.0000891391,0.0004440966,0.000002908151,0.00003243996,0.0003308537],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8169158,"threshold_uncertainty_score":0.8645744,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01335425872438527,"score_gpt":0.2664779061337499,"score_spread":0.2531236474093647,"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."}}