{"id":"W7043875619","doi":"","title":"Twenty-sixth Annual IEEE Symposium on Logic in Computer Science 21-24 June 2011, Ontario, Canada .","year":2011,"lang":"en","type":"other","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Computer Applications; History of computing; Computer design","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001562105,0.0009107622,0.001046949,0.001829006,0.002847153,0.006644596,0.001566598,0.001079441,0.2890851],"category_scores_gemma":[0.002611836,0.0004931265,0.0006057742,0.00227691,0.001629018,0.003007654,0.002126619,0.001833513,0.1220909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008442952,"about_ca_system_score_gemma":0.01378869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.2194647,"about_ca_topic_score_gemma":0.5860141,"domain_scores_codex":[0.9992399,0.00007681285,0.00003770499,0.0001067873,0.0003958963,0.000142803],"domain_scores_gemma":[0.9974309,0.0002904917,0.00005030111,0.0002912189,0.001472087,0.000465048],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008796588,0.00003946004,0.0005874498,0.0002721592,0.00002126045,0.0001199731,0.0002700204,0.0003346365,0.001221208,0.01397849,0.8366001,0.1464672],"study_design_scores_gemma":[0.000009080976,0.00001456156,0.0007841278,0.0001624843,0.00001815765,0.00009871282,0.0002685615,0.0008565586,0.0007259739,0.006700096,0.9903438,0.00001791444],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.005160909,0.03364183,0.07208219,0.02314876,0.01253473,0.0002838443,0.009357794,0.007367211,0.8364226],"genre_scores_gemma":[0.008618673,0.0132736,0.009905375,0.0006331902,0.0005763984,0.00003720539,0.00375435,0.000784076,0.9624171],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2890851,"threshold_uncertainty_score":0.9670858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01322407446483968,"score_gpt":0.2098074686401562,"score_spread":0.1965833941753165,"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."}}