{"id":"W2912066439","doi":"10.1145/1277500","title":"Proceedings of the 2007 international workshop on Symbolic-numeric computation","year":2007,"lang":"en","type":"paratext","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Symbolic computation; Symbolic-numeric computation; Computation; The Symbolic; Computer science; Symbolic data analysis; Algebraic number; Polynomial; Symbolic trajectory evaluation; Algorithm; Algebra over a field; Theoretical computer science; Mathematics; Pure mathematics; Model checking","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002329682,0.0002527151,0.0002787152,0.000289882,0.00009140508,0.0001797181,0.001584569,0.000186726,0.0002450996],"category_scores_gemma":[0.00002999505,0.0001778887,0.0001681973,0.0006748662,0.00006361023,0.0002400536,0.0004258341,0.0003517854,0.0009810594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001118293,"about_ca_system_score_gemma":0.0001124284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003398152,"about_ca_topic_score_gemma":0.000001779598,"domain_scores_codex":[0.9981663,0.00001501207,0.000466455,0.0004532661,0.0006510691,0.0002479557],"domain_scores_gemma":[0.9988384,0.0001560324,0.0004931327,0.0001824058,0.0002659838,0.00006400984],"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.00002209448,0.0001368634,0.00002954083,0.0000458017,0.00007402812,8.072468e-7,0.0003496981,0.002559172,0.0001636646,0.0301636,0.7851839,0.1812708],"study_design_scores_gemma":[0.002009371,0.0003497157,0.01677,0.002018631,0.00006777387,0.00008532522,0.0002033565,0.2557034,0.0100522,0.01386897,0.6966543,0.002216961],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00476513,0.0001137112,0.2673759,0.001900418,0.01348735,0.0004466802,0.00001066544,0.0001020322,0.7117981],"genre_scores_gemma":[0.4659866,0.0001267808,0.01732572,0.005053871,0.003635342,0.00003905145,0.0001014758,0.00007668259,0.5076544],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4612215,"threshold_uncertainty_score":0.9997968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01615852493625875,"score_gpt":0.2728052955073975,"score_spread":0.2566467705711387,"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."}}