{"id":"W1559772379","doi":"","title":"2/23 Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction","year":2013,"lang":"en","type":"preprint","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Emera (Canada)","funders":"","keywords":"Dataflow; Abstraction; Computer science; Programming language; Parallel computing; Theoretical computer science","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008966316,0.0002758229,0.0003485522,0.00009975515,0.0001313972,0.00031082,0.001534677,0.0001783876,0.00002961967],"category_scores_gemma":[0.00005424643,0.0001778671,0.00007821858,0.000285084,0.0001262173,0.0006287249,0.0007133797,0.0005795693,0.0000879596],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001239198,"about_ca_system_score_gemma":0.000171456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003395698,"about_ca_topic_score_gemma":0.00003535932,"domain_scores_codex":[0.9977586,0.0002204865,0.0006320803,0.000592704,0.0005313912,0.0002647673],"domain_scores_gemma":[0.9967682,0.0001401312,0.0008535295,0.001865503,0.0003051503,0.0000675194],"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.0001916126,0.001235607,0.001174445,0.001190486,0.0004085741,0.000005279198,0.005506511,0.03258086,0.004234709,0.1844942,0.0006651636,0.7683126],"study_design_scores_gemma":[0.0003510917,0.0006276323,0.01362843,0.0003028721,0.00005414695,0.00002377359,0.0002041273,0.9629319,0.01643734,0.004469206,0.0004723683,0.000497057],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02149263,0.00002549224,0.9737505,0.0002518687,0.0005678626,0.001305914,0.00000400343,0.000286304,0.00231541],"genre_scores_gemma":[0.491805,0.000006831976,0.5077882,0.00003167682,0.00004253487,0.0001324495,0.00008512933,0.00001348139,0.00009473504],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9303511,"threshold_uncertainty_score":0.7253212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03053066307244777,"score_gpt":0.2805653621723376,"score_spread":0.2500346990998898,"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."}}