{"id":"W388274778","doi":"","title":"Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation : ISSAC 2001, July 22-25, 2001, University of Western Ontario, London, Ontario, Canada","year":2001,"lang":"en","type":"book","venue":"ACM Press eBooks","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Library science; Algebraic number; Computation; History; Mathematics; Computer science; Algorithm; Mathematical analysis","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"],"consensus_categories":[],"category_scores_codex":[0.0003551928,0.0005484424,0.000739635,0.0001528659,0.0001797952,0.000125384,0.003689287,0.0003222645,0.00006226167],"category_scores_gemma":[0.00004194081,0.0005273443,0.0001789697,0.00007216913,0.0003130956,0.0002465277,0.002390553,0.0007968806,0.000002396277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00223264,"about_ca_system_score_gemma":0.003337812,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.9129152,"about_ca_topic_score_gemma":0.9686527,"domain_scores_codex":[0.9965628,0.00006293323,0.0006402166,0.001013599,0.001160709,0.0005596991],"domain_scores_gemma":[0.9969145,0.0002794137,0.0009194206,0.0009191302,0.0007405345,0.0002269972],"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.0003653221,0.0007721434,0.03475193,0.0009482548,0.001530627,0.0002161465,0.01786878,0.001926161,0.0003070131,0.01220733,0.9010279,0.02807838],"study_design_scores_gemma":[0.002625505,0.0005508159,0.05008513,0.001144546,0.0003254271,0.0001909172,0.00004156563,0.005687826,0.0005293321,0.01344397,0.9237873,0.001587644],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.07428864,0.0001898605,0.003254073,0.001223281,0.003600252,0.00301031,0.000218018,0.0002384849,0.9139771],"genre_scores_gemma":[0.01640706,0.00004762142,0.004508079,0.0004209923,0.0002352002,0.0000107837,0.00004952438,0.00006410934,0.9782566],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.06427955,"threshold_uncertainty_score":0.9997178,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01878988075104108,"score_gpt":0.2069325633606725,"score_spread":0.1881426826096314,"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."}}