{"id":"W7132871271","doi":"","title":"Synthesizing Divide-and-Conquer Programs","year":2022,"lang":"","type":"dissertation","venue":"TSpace","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Programmer; Compiler; Task (project management); Bridge (graph theory); Program synthesis; Domain (mathematical analysis); Architecture; Multi-core processor","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.001567679,0.0007625613,0.0005198068,0.0007394063,0.0007077806,0.00116412,0.00108755,0.0007294884,0.002974733],"category_scores_gemma":[0.005060927,0.0004485336,0.0009462549,0.0005259298,0.001721472,0.001162383,0.0009255648,0.001103058,0.000500515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000893203,"about_ca_system_score_gemma":0.001737911,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001925424,"about_ca_topic_score_gemma":0.003951838,"domain_scores_codex":[0.9989152,0.0002981553,0.00007367707,0.0001864358,0.0004314257,0.00009507673],"domain_scores_gemma":[0.9978901,0.001477551,0.0001481888,0.0002008137,0.000255538,0.00002788978],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001786695,0.0002445744,0.00218089,0.001212212,0.000093519,0.0004041115,0.001026255,0.3766795,0.04581665,0.2910004,0.003434846,0.2777283],"study_design_scores_gemma":[0.0001046907,0.0001383675,0.0002693664,0.000134351,0.00007628082,0.0001300618,0.0002139924,0.8343208,0.0636067,0.08084773,0.0201311,0.00002660294],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01949488,0.0001243997,0.9727286,0.0002220713,0.00003246409,0.0001441023,0.00007127453,0.001398297,0.005783925],"genre_scores_gemma":[0.1030663,0.0002151745,0.8940601,0.00008892571,0.00001660305,0.0001887159,0.0001753512,0.0003039914,0.001884733],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002974733,"threshold_uncertainty_score":0.009951413,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0296108663292684,"score_gpt":0.334621999782967,"score_spread":0.3050111334536986,"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."}}