{"id":"W4315630815","doi":"10.1145/3571243","title":"Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference","year":2023,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Soundness; Inference; Computer science; Type inference; Probabilistic logic; Fuzz testing; Theoretical computer science; Programming language; Exploit; Machine learning; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.003538626,0.0009131313,0.0008432158,0.0008476925,0.0007024431,0.001481423,0.002852934,0.001516521,0.005192909],"category_scores_gemma":[0.01809042,0.001042342,0.001529729,0.0007291269,0.00234478,0.003694425,0.003641792,0.003819614,0.001815664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001161383,"about_ca_system_score_gemma":0.002550998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001984005,"about_ca_topic_score_gemma":0.004740565,"domain_scores_codex":[0.9968799,0.001089408,0.000211454,0.0005937495,0.0009587735,0.0002667702],"domain_scores_gemma":[0.9897444,0.006265535,0.0003700943,0.00251725,0.0009249856,0.0001776962],"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.0005652127,0.000311091,0.004562575,0.0008700808,0.000157025,0.0003763951,0.001015666,0.2411146,0.02674527,0.2723922,0.01506745,0.4368224],"study_design_scores_gemma":[0.00004412807,0.00005709431,0.0001575144,0.00005193357,0.00004313664,0.0001164938,0.00004997176,0.7929521,0.01505983,0.1863383,0.005103501,0.00002593994],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007051299,0.00005914833,0.9861937,0.0001503681,0.00002755857,0.00006026629,0.000120056,0.005386319,0.0009513317],"genre_scores_gemma":[0.2162988,0.0001046273,0.777247,0.0003551943,0.00004570383,0.0002493013,0.0005718918,0.002444725,0.002682714],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005192909,"threshold_uncertainty_score":0.01871425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05363607663135606,"score_gpt":0.3643441365370954,"score_spread":0.3107080599057393,"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."}}