{"id":"W2187974744","doi":"","title":"Computer-aided algorithm design: automated tuning, configuration, selection, and beyond ( Invited Talk Abstract )","year":2010,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Benchmark (surveying); Key (lock); Heuristic; Scheduling (production processes); Process (computing); Software; Selection (genetic algorithm); Computer engineering; Mathematical optimization; Machine learning; Artificial intelligence; 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.003040327,0.001094012,0.001166846,0.0007188113,0.0006282629,0.002678897,0.001536042,0.0018357,0.01449452],"category_scores_gemma":[0.009409491,0.0007359963,0.0007651355,0.001067718,0.001741474,0.002046273,0.001310844,0.001627828,0.003700892],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008073366,"about_ca_system_score_gemma":0.001381204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001105806,"about_ca_topic_score_gemma":0.0009635166,"domain_scores_codex":[0.9979735,0.001137136,0.00007678905,0.0003124462,0.0003768331,0.0001232463],"domain_scores_gemma":[0.9961393,0.002722353,0.0001221848,0.0004929241,0.0004487186,0.00007438997],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000311984,0.0001428473,0.0009170292,0.0007401311,0.0001211936,0.0001335707,0.0001687399,0.1966219,0.00628571,0.1546585,0.03944376,0.6004546],"study_design_scores_gemma":[0.0001476088,0.0001301674,0.0003776807,0.0002028588,0.00005422441,0.0002124136,0.00006535812,0.6814966,0.009023916,0.2273414,0.08089602,0.00005174643],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002377113,0.001897569,0.987177,0.000751358,0.0002227705,0.00006634535,0.00004557706,0.001416389,0.006045957],"genre_scores_gemma":[0.1338815,0.003015798,0.849227,0.0007939301,0.0003758298,0.0005020121,0.000392004,0.0006770752,0.0111349],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01449452,"threshold_uncertainty_score":0.04848897,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02142971102856003,"score_gpt":0.2818883957439102,"score_spread":0.2604586847153502,"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."}}