{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004587374,0.000611909,0.0006207692,0.0006468979,0.0001526608,0.0002003851,0.003509464,0.0003019663,0.003363029],"category_scores_gemma":[0.000009762744,0.0004748965,0.0000982,0.0005615744,0.0002922349,0.0002811172,0.000673268,0.0005798234,0.0009375354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001016575,"about_ca_system_score_gemma":0.004023863,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.9299574,"about_ca_topic_score_gemma":0.9941213,"domain_scores_codex":[0.9960699,0.00008559098,0.0003909802,0.001546444,0.0008510851,0.001055981],"domain_scores_gemma":[0.997777,0.00006104451,0.0002559731,0.00139633,0.0001361039,0.000373578],"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.000005348601,0.0001627835,0.0005420097,0.00002132667,0.00001743393,0.0001427011,0.0006854525,0.00002753912,0.000007308246,0.02227529,0.9749364,0.001176378],"study_design_scores_gemma":[0.0008741104,0.0004146017,0.002366745,0.0002786608,0.00001667335,0.00005159713,0.00001732392,0.002265141,0.0002589183,0.0009670713,0.9908962,0.001592949],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0001034817,0.0001518763,0.03368238,0.0003319187,0.01381689,0.0004577679,0.00001702867,0.0003182136,0.9511204],"genre_scores_gemma":[0.003250042,0.00003298765,0.01141978,0.001601573,0.0005358285,0.00002138603,0.000007694302,0.0001142011,0.9830165],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.06416376,"threshold_uncertainty_score":0.9998404,"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."}}