{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009713841,0.0006471695,0.0006602088,0.0003705084,0.001136691,0.0009037906,0.001446864,0.0003220007,0.0004306742],"category_scores_gemma":[0.0001746929,0.0007256477,0.0002062635,0.0008420006,0.0001068571,0.0003282697,0.000796992,0.0009093939,0.00004269321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001382597,"about_ca_system_score_gemma":0.0002988832,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004437858,"about_ca_topic_score_gemma":0.00002053844,"domain_scores_codex":[0.9960644,0.0004309177,0.000631557,0.001371852,0.0007812025,0.000720064],"domain_scores_gemma":[0.9976035,0.0002868035,0.0006816139,0.0009655861,0.0002214379,0.000241027],"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.00009418069,0.0005273183,0.001027614,0.0007315609,0.000286827,0.0001139645,0.0947613,0.003866482,0.0003490046,0.03653304,0.003703907,0.8580048],"study_design_scores_gemma":[0.001314308,0.001780043,0.002085693,0.00229182,0.0004459998,0.0002192806,0.01163883,0.7155515,0.006841787,0.007313346,0.2447665,0.005750882],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02922157,0.009567867,0.9037018,0.002530237,0.003015861,0.002321757,0.000004412967,0.003177306,0.04645916],"genre_scores_gemma":[0.750488,0.002294418,0.1746958,0.0006023947,0.0003622812,0.0006112024,0.0003692337,0.0002117448,0.07036483],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8522539,"threshold_uncertainty_score":0.9995195,"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."}}