{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003572674,0.0008763841,0.000750878,0.002340931,0.001344129,0.002366592,0.001946938,0.001144875,0.004990929],"category_scores_gemma":[0.01014569,0.0007162105,0.001617116,0.00251454,0.00683124,0.00738201,0.004175452,0.004601147,0.0009285888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001737849,"about_ca_system_score_gemma":0.00122763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001233374,"about_ca_topic_score_gemma":0.0006634102,"domain_scores_codex":[0.995261,0.001086725,0.0003903041,0.001117071,0.001737829,0.0004071442],"domain_scores_gemma":[0.9921287,0.004939824,0.0005270067,0.001316021,0.0008184187,0.0002699394],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003720844,0.00003676954,0.0003400987,0.00009357314,0.00001389426,0.000178121,0.0003691534,0.008326533,0.002357025,0.9647989,0.0007760942,0.02267261],"study_design_scores_gemma":[0.00003099225,0.00008407175,0.00029719,0.00006064558,0.00002975608,0.0006814448,0.0002233672,0.03913717,0.008457989,0.9187819,0.03217572,0.00003969383],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01417099,0.000842535,0.9710138,0.0009633418,0.00008812475,0.0001555753,0.0001375015,0.0004296594,0.01219843],"genre_scores_gemma":[0.5142405,0.003163601,0.4658193,0.0007499206,0.0005091437,0.001006067,0.0006414463,0.0007747117,0.01309537],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004990929,"threshold_uncertainty_score":0.01889431,"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."}}