{"id":"W69236537","doi":"10.1007/978-3-642-25566-3_47","title":"HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; State (computer science); Range (aeronautics); Algorithm; Software engineering; Engineering","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.000719889,0.0002574393,0.0003819819,0.0006688675,0.0002138372,0.0001804898,0.00113674,0.0002087096,0.00001645237],"category_scores_gemma":[0.000082908,0.0001891326,0.0000816344,0.0009502713,0.0005722625,0.000295343,0.0003053559,0.0002784356,0.00000172783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005306689,"about_ca_system_score_gemma":0.0001967673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003675072,"about_ca_topic_score_gemma":0.0000215439,"domain_scores_codex":[0.9982765,0.00002591013,0.0003631758,0.0006896863,0.000375747,0.0002689989],"domain_scores_gemma":[0.9975353,0.001110345,0.0003079259,0.0007347061,0.000248282,0.00006342816],"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.00000578551,0.00000710904,0.00009107713,0.00001697006,0.00006886708,0.000001423579,0.0004680656,0.2580078,0.000006485395,0.02207231,0.000002530319,0.7192516],"study_design_scores_gemma":[0.0001098077,0.00008796467,0.002079263,0.0000869256,0.0000656343,0.000009430629,8.956456e-8,0.9436567,0.0005118164,0.05316621,0.00001908692,0.0002070627],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003049213,0.0001562898,0.998338,0.0002692654,0.0005428805,0.0004518498,0.000005088644,0.0001551392,0.00005103227],"genre_scores_gemma":[0.1927927,0.0001213099,0.8067566,0.00022894,0.00004920437,0.00001215179,0.000001735402,0.00001001086,0.00002725664],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7190445,"threshold_uncertainty_score":0.7712603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02214497837932569,"score_gpt":0.2469090247652095,"score_spread":0.2247640463858838,"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."}}