{"id":"W2913835260","doi":"","title":"Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation","year":2013,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; Simon Fraser University","funders":"","keywords":"Symbolic computation; Computer science; Symbolic-numeric computation; Algebra over a field; Algebraic number; The Symbolic; Symbolic data analysis; Computation; Gröbner basis; Symbolic trajectory evaluation; Linear algebra; Theoretical computer science; Mathematics; Algorithm; Pure mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003565369,0.00148094,0.002082357,0.002448564,0.001625022,0.009856425,0.001929038,0.00206752,0.1156647],"category_scores_gemma":[0.009228394,0.0005963555,0.001845637,0.002570909,0.002417832,0.005949258,0.003836082,0.004930564,0.04751994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002328752,"about_ca_system_score_gemma":0.004547545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002292627,"about_ca_topic_score_gemma":0.002137066,"domain_scores_codex":[0.9958344,0.0009355884,0.0004151124,0.0006705205,0.001860675,0.000283736],"domain_scores_gemma":[0.9947466,0.001252707,0.0001606644,0.001266204,0.0020752,0.0004985638],"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.0001892801,0.00007631921,0.0005955028,0.0007030006,0.0001329867,0.000221,0.0003861586,0.002572181,0.002827364,0.1646055,0.5469071,0.2807836],"study_design_scores_gemma":[0.00001572883,0.00003587889,0.0002455809,0.0001999779,0.00002576692,0.0001740879,0.00005937018,0.00328394,0.0006723081,0.04232923,0.9529332,0.00002487971],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.006186507,0.09492884,0.2822968,0.03511108,0.08823756,0.0007647696,0.005057304,0.006237238,0.4811799],"genre_scores_gemma":[0.08025535,0.09030636,0.1696741,0.006590925,0.03337747,0.0008715063,0.0154526,0.003552273,0.5999195],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1156647,"threshold_uncertainty_score":0.3869368,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008027117653752509,"score_gpt":0.214079474465967,"score_spread":0.2060523568122145,"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."}}