{"id":"W3176592665","doi":"10.1145/3453483.3454089","title":"Phased synthesis of divide and conquer programs","year":2021,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Divide and conquer algorithms; Computer science; Implementation; Function (biology); Set (abstract data type); Task (project management); Theoretical computer science; Computation; Parallel computing; Algorithm; Computer engineering; Programming language","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.0009246344,0.000626961,0.0005467927,0.0004181092,0.0004060713,0.0008145711,0.001274925,0.0006110091,0.003777816],"category_scores_gemma":[0.002308007,0.000393152,0.0005289143,0.0004150536,0.0009692776,0.0008778948,0.0007092407,0.0007372891,0.0005406169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005649811,"about_ca_system_score_gemma":0.001154039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009141241,"about_ca_topic_score_gemma":0.001748601,"domain_scores_codex":[0.9990001,0.0003047392,0.00005189129,0.0002111429,0.0003251269,0.000106962],"domain_scores_gemma":[0.9988626,0.0006464266,0.00008931998,0.0002343291,0.0001454362,0.00002190003],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003597159,0.0002518565,0.001021998,0.0007435424,0.00009679212,0.0003554244,0.0004470077,0.3709776,0.1098587,0.210806,0.003683543,0.3013979],"study_design_scores_gemma":[0.0001403625,0.0002243613,0.0002471396,0.00005168968,0.00005779537,0.0001244537,0.00007408782,0.8125046,0.1156911,0.05898869,0.01186968,0.0000261125],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02310355,0.00006169926,0.9712058,0.0000596617,0.00001596667,0.00008259873,0.00007132703,0.001886748,0.003512777],"genre_scores_gemma":[0.2792821,0.00009744079,0.7175174,0.00007861567,0.00001155957,0.0003048603,0.0002395004,0.0003837156,0.002084849],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003777816,"threshold_uncertainty_score":0.01263803,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03161390019939872,"score_gpt":0.2848018162148728,"score_spread":0.2531879160154741,"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."}}