{"id":"W4252513877","doi":"10.32920/ryerson.14664417.v1","title":"Probabilistic Program Execution is a Viable Way to Find Domains from Software","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Computer science; Probabilistic logic; Software; Set (abstract data type); Program comprehension; Probabilistic analysis of algorithms; Algorithm; Theoretical computer science; Software system; Programming language; Artificial intelligence","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.001771156,0.001016735,0.0005981409,0.002451801,0.0005630922,0.001367986,0.0009347893,0.0007875695,0.00280761],"category_scores_gemma":[0.009975524,0.0006437736,0.001206671,0.001461447,0.001397065,0.0035478,0.001254824,0.001662232,0.0009156116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000526592,"about_ca_system_score_gemma":0.001259672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001419282,"about_ca_topic_score_gemma":0.001489429,"domain_scores_codex":[0.9987864,0.0003997393,0.00007812687,0.0002398185,0.0004246524,0.00007130499],"domain_scores_gemma":[0.9939861,0.004156545,0.0005495173,0.0007831065,0.0004631088,0.00006158952],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002650888,0.0001404755,0.009460271,0.0005025121,0.0001211438,0.0002328931,0.0005348243,0.3219367,0.01628663,0.2468974,0.001763708,0.4018584],"study_design_scores_gemma":[0.00003360036,0.0001223646,0.001232083,0.0001255664,0.0000376025,0.0002970283,0.0001096575,0.7461724,0.01651118,0.2235875,0.01171917,0.0000518818],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009269299,0.00009870994,0.9888833,0.0000842915,0.000005980364,0.00004570446,0.00007267095,0.0006688557,0.0008712186],"genre_scores_gemma":[0.1387671,0.0002899989,0.8591652,0.00004985248,0.00001326386,0.0001273032,0.0003691216,0.0003541615,0.0008640591],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00280761,"threshold_uncertainty_score":0.00939244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02626209323586308,"score_gpt":0.305504360580541,"score_spread":0.2792422673446779,"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."}}