{"id":"W118729324","doi":"","title":"Proceedings of the 2007 international symposium on Symbolic and algebraic computation","year":2007,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Symbolic computation; Computer science; Symbolic-numeric computation; Algebra over a field; Computation; Theoretical computer science; Software; Automatic differentiation; Algorithm; Programming language; Mathematics; Pure mathematics","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.002727581,0.001601831,0.002173998,0.001991192,0.001638816,0.01035009,0.002290418,0.002317704,0.1047021],"category_scores_gemma":[0.007561079,0.0006478383,0.001904881,0.002336098,0.002207986,0.006556741,0.004000491,0.00541484,0.04182856],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002428188,"about_ca_system_score_gemma":0.00393095,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001882257,"about_ca_topic_score_gemma":0.001653982,"domain_scores_codex":[0.9964187,0.0008535602,0.000346391,0.000637271,0.001483831,0.0002602147],"domain_scores_gemma":[0.9963212,0.001034073,0.0001107373,0.0009403306,0.001236244,0.0003574411],"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.0001794549,0.00008267564,0.0004056275,0.0005192896,0.0001156453,0.0001917868,0.0004053255,0.00286927,0.001829152,0.2460888,0.5444381,0.202875],"study_design_scores_gemma":[0.00002472142,0.00002804994,0.0001829485,0.0002014081,0.0000280119,0.0001901821,0.00007353644,0.005185922,0.0006850857,0.07446156,0.918913,0.00002565843],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.006281977,0.08569594,0.3367283,0.03274902,0.06276001,0.0005286404,0.004574753,0.007110742,0.4635706],"genre_scores_gemma":[0.08290168,0.1001902,0.2389856,0.008944639,0.03214127,0.001014008,0.01919714,0.003539003,0.5130864],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1047021,"threshold_uncertainty_score":0.3502635,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009354170939972843,"score_gpt":0.2414280422033331,"score_spread":0.2320738712633603,"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."}}