{"id":"W2604294253","doi":"10.1109/tac.2017.2692561","title":"Reduction of Distributions: Definitions, Properties, and Applications","year":2017,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Reduction (mathematics); Supervisor; Mathematical proof; Computer science; Decomposition; Theoretical computer science; Substitution (logic); Algorithm; Computational complexity theory; Mathematics; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003376474,0.0001170625,0.0001820614,0.0001118796,0.0007891138,0.0001563685,0.0004954859,0.00006588203,0.00001157544],"category_scores_gemma":[0.00004243517,0.0001093548,0.00006396427,0.000118858,0.000219918,0.0006371256,0.000003227824,0.0001020314,0.00002293707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005137296,"about_ca_system_score_gemma":0.00006638448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003038877,"about_ca_topic_score_gemma":0.00000359897,"domain_scores_codex":[0.9989887,0.00008857888,0.0003428063,0.000248258,0.0001853728,0.0001462903],"domain_scores_gemma":[0.9983912,0.00006319058,0.0002764387,0.001084216,0.000119629,0.00006538844],"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.00002076557,0.0004278989,0.00001405391,0.0001327186,0.00008781241,5.661058e-7,0.0002765511,0.0004962889,0.01415452,0.1374986,0.00003659053,0.8468536],"study_design_scores_gemma":[0.002563672,0.0003232375,0.005493806,0.0002597179,0.0001965276,0.0001365788,0.0001085203,0.8682193,0.1026875,0.01848732,0.000992763,0.000531151],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003374483,0.00006944808,0.9944867,0.0005870786,0.0002597358,0.0006433287,0.00004248031,0.0001864381,0.0003502708],"genre_scores_gemma":[0.9003123,0.00005682985,0.09897253,0.00002169462,0.0000193891,0.0005682096,0.000001089743,0.000006678161,0.00004126881],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8969378,"threshold_uncertainty_score":0.6069305,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0518757946034491,"score_gpt":0.2755561916350046,"score_spread":0.2236803970315555,"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."}}