{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005599988,0.0001066981,0.0001101596,0.00008048572,0.00006655951,0.00009305088,0.0006740489,0.00004569965,0.00001058829],"category_scores_gemma":[0.00004204555,0.00007436576,0.00004591958,0.0003167193,0.00008603412,0.0002344697,0.0004152275,0.0001046448,0.000007791424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005223159,"about_ca_system_score_gemma":0.00001733385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002229987,"about_ca_topic_score_gemma":0.000005109786,"domain_scores_codex":[0.9988549,0.000009579327,0.0002531348,0.0003137543,0.0003937204,0.0001748957],"domain_scores_gemma":[0.9993181,0.0001542483,0.0001096631,0.0001434677,0.000217868,0.00005668757],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00003468281,0.0005726283,0.05474854,0.00006645803,0.00006738017,0.000003614062,0.003039686,0.0006319731,0.008106154,0.7611582,0.003238375,0.1683323],"study_design_scores_gemma":[0.0008424927,0.0003115368,0.6550851,0.00005816784,0.00001029813,0.00008542953,0.0001449713,0.2776405,0.02003388,0.04355067,0.001867364,0.0003696079],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6771703,0.00001785077,0.2757297,0.003700243,0.00125076,0.0003361801,0.000001079622,0.0001554724,0.04163834],"genre_scores_gemma":[0.9807308,0.000002496851,0.01845224,0.0004958375,0.0001024664,0.000002191264,4.262664e-7,0.00000485303,0.000208717],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7176076,"threshold_uncertainty_score":0.3032548,"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."}}