{"id":"W2005854230","doi":"10.1109/fpt.2013.6718424","title":"From C to Blokus Duo with LegUp high-level synthesis","year":2013,"lang":"en","type":"article","venue":"","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Verilog; High-level synthesis; Field-programmable gate array; Computer science; Stratix; Pruning; Software; Bitwise operation; Computer architecture; Hardware description language; Integer (computer science); Embedded system; Parallel computing; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00008270486,0.0001469409,0.0001599178,0.00007700222,0.00007853666,0.0003206404,0.001140846,0.00004873488,0.001246801],"category_scores_gemma":[0.00009668103,0.0001043144,0.0000311885,0.000304323,0.00004984728,0.0006030296,0.0002590808,0.0000725198,0.007872629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003108411,"about_ca_system_score_gemma":0.00004126792,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01175829,"about_ca_topic_score_gemma":0.0003942886,"domain_scores_codex":[0.9987149,0.00003295765,0.0001947409,0.0004490687,0.0002962906,0.0003120954],"domain_scores_gemma":[0.9985392,0.0003460508,0.00004059129,0.0007664723,0.0001268506,0.0001808181],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001478417,0.0001819766,0.002211963,0.000004983419,0.00009202123,0.0000378408,0.003431289,0.0007027038,0.0127195,0.1010628,0.06025534,0.8192849],"study_design_scores_gemma":[0.00008275978,0.0002623293,0.02540519,0.00008235363,0.0000204161,0.00001052349,0.0007911199,0.03063164,0.8844436,0.04903009,0.008267693,0.0009723316],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2522904,0.000008454583,0.7345785,0.006682773,0.000243953,0.0002061064,0.000003442913,0.0002516629,0.005734674],"genre_scores_gemma":[0.7180209,8.421566e-7,0.2782917,0.0009100467,0.00009872775,0.00006818474,2.931006e-7,0.000008979502,0.002600359],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8717241,"threshold_uncertainty_score":0.9996662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03473519993422045,"score_gpt":0.2457930410954519,"score_spread":0.2110578411612315,"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."}}