{"id":"W635314795","doi":"","title":"SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007","year":2007,"lang":"en","type":"book","venue":"Association for Computing Machinery eBooks","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Computation; Operations research; Library science; Computer science; Engineering; Programming language","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.001069453,0.001449903,0.00183663,0.001347675,0.001376015,0.004665371,0.001919628,0.0007943636,0.1188669],"category_scores_gemma":[0.002721714,0.0005944765,0.0008244889,0.002192695,0.001245321,0.00270954,0.001775505,0.001970223,0.06634317],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003541736,"about_ca_system_score_gemma":0.00575023,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.04961338,"about_ca_topic_score_gemma":0.1644555,"domain_scores_codex":[0.9993001,0.0001013167,0.00003007438,0.0000828651,0.0004185321,0.00006713923],"domain_scores_gemma":[0.9984879,0.0002675019,0.00001925332,0.0002503392,0.0008157394,0.0001591702],"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.00009741651,0.00004570839,0.0002185976,0.0001733612,0.00001440879,0.0000497164,0.00008205257,0.001213943,0.00121427,0.01421057,0.8291559,0.153524],"study_design_scores_gemma":[0.00002956049,0.00002261399,0.0005971002,0.0001429038,0.00002524792,0.000154503,0.0001019608,0.01240387,0.002679759,0.02047961,0.9633388,0.00002411769],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.008630744,0.02124698,0.3386844,0.009358967,0.0217055,0.0005071989,0.01251193,0.02574258,0.5616117],"genre_scores_gemma":[0.02070463,0.01509095,0.09888302,0.001215811,0.001451492,0.0002056915,0.02990021,0.006067443,0.8264808],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1188669,"threshold_uncertainty_score":0.3976493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01089426752599658,"score_gpt":0.2362236151590566,"score_spread":0.22532934763306,"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."}}