{"id":"W4409183528","doi":"10.1007/978-981-96-4656-2_5","title":"Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Distribution (mathematics); Mathematics","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.004934453,0.0009259419,0.0009506498,0.00117476,0.0006543741,0.001678695,0.003585152,0.001155096,0.003449428],"category_scores_gemma":[0.01572135,0.0007559644,0.0007083457,0.0007944495,0.002678005,0.003434539,0.002228538,0.001381673,0.0007479399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001709441,"about_ca_system_score_gemma":0.002612351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00286805,"about_ca_topic_score_gemma":0.003477721,"domain_scores_codex":[0.9947429,0.002067028,0.000266445,0.0009959363,0.001410062,0.0005176682],"domain_scores_gemma":[0.9895107,0.005590969,0.000624811,0.002447503,0.00148338,0.0003426841],"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.001022218,0.0002863639,0.004615762,0.0005116831,0.00009660899,0.0003588936,0.0005589175,0.1218976,0.03185089,0.4141357,0.003974013,0.4206913],"study_design_scores_gemma":[0.0001375983,0.0003764479,0.0004075387,0.000110468,0.00006429243,0.0003072884,0.00005647196,0.7588647,0.04753865,0.1842557,0.007836872,0.00004407908],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01876481,0.0001325343,0.9775109,0.000078216,0.00002949858,0.00009020171,0.00003736388,0.001457694,0.001898822],"genre_scores_gemma":[0.5665956,0.0001459271,0.4295916,0.0001960837,0.00003885018,0.0002286678,0.000173082,0.0005091949,0.002520985],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004934453,"threshold_uncertainty_score":0.02609622,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0400573742236029,"score_gpt":0.2695620406360729,"score_spread":0.22950466641247,"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."}}