{"id":"W4414437473","doi":"10.1007/978-3-032-05134-9_14","title":"Arithmetic Circuit Compilation Using Symbolic Probabilistic Inference and Indicator-Determined Buckets","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Evolutionary Algorithms and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"","keywords":"Benchmark (surveying); Inference; Probabilistic logic; Bayesian network; Key (lock); Reduction (mathematics); Construct (python library); Variable elimination","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.0008079723,0.0008725247,0.0009388434,0.001515461,0.0009603369,0.002603162,0.00276168,0.0006927024,0.01462899],"category_scores_gemma":[0.006178263,0.0008838232,0.001616915,0.001883814,0.001620593,0.00380257,0.002426934,0.002067961,0.002422764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001715393,"about_ca_system_score_gemma":0.002123844,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002079758,"about_ca_topic_score_gemma":0.004484117,"domain_scores_codex":[0.9985257,0.0002594309,0.0001066507,0.0003402622,0.0005685619,0.00019954],"domain_scores_gemma":[0.9969337,0.001643477,0.0001491661,0.0007809585,0.0004347474,0.00005801114],"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.0004146328,0.0001394265,0.0009960375,0.0006211703,0.0001052005,0.0001928091,0.0003036045,0.1129579,0.01686146,0.3903723,0.01068906,0.4663464],"study_design_scores_gemma":[0.00008090302,0.00008957659,0.0003412553,0.0001496773,0.000139509,0.0001882094,0.00008339556,0.4684122,0.03269443,0.4845272,0.0132138,0.00007994111],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01588903,0.0002053559,0.9620252,0.0002063676,0.0001418239,0.00007226898,0.0002345883,0.007957613,0.01326759],"genre_scores_gemma":[0.3935794,0.0003201157,0.5939523,0.0002294342,0.0001170345,0.0001931624,0.0008292936,0.002210523,0.008568848],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01462899,"threshold_uncertainty_score":0.04893881,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02654462273124247,"score_gpt":0.269126548051733,"score_spread":0.2425819253204906,"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."}}