{"id":"W1528942851","doi":"10.1609/aimag.v31i2.2292","title":"SARA 2009: The Eighth Symposium on Abstraction, Reformulation, and Approximation","year":2010,"lang":"en","type":"article","venue":"AI Magazine","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; University of Alberta","funders":"","keywords":"Abstraction; Computer science; Programming language; Software engineering; Calculus (dental); Theoretical computer science; Epistemology; Philosophy; Medicine","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.01062246,0.002047856,0.003113694,0.002547856,0.003391067,0.01388065,0.003252021,0.003204377,0.05008708],"category_scores_gemma":[0.01723085,0.001468869,0.00487107,0.003349358,0.003318866,0.01297108,0.006253702,0.01813504,0.01814173],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008707926,"about_ca_system_score_gemma":0.008048846,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004436603,"about_ca_topic_score_gemma":0.00719248,"domain_scores_codex":[0.9928594,0.001882956,0.0006420325,0.001236154,0.002781592,0.0005978931],"domain_scores_gemma":[0.9925447,0.002679199,0.0002147446,0.001522769,0.002442759,0.0005959062],"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.0002448915,0.00008834976,0.0002324242,0.0004072302,0.000108693,0.0001024353,0.0004389283,0.002440971,0.0009629891,0.3627783,0.5312098,0.100985],"study_design_scores_gemma":[0.0000603833,0.00006436559,0.0002744151,0.0003892437,0.00007028957,0.0001801657,0.0001259284,0.007390761,0.001101698,0.159047,0.83123,0.00006578235],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.005384717,0.06884512,0.4836271,0.07985325,0.08538458,0.0005558969,0.003225649,0.003881647,0.2692421],"genre_scores_gemma":[0.1064248,0.06777163,0.3971429,0.01361831,0.06458222,0.001293746,0.007414517,0.004504026,0.3372479],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.05008708,"threshold_uncertainty_score":0.167558,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008406835382477247,"score_gpt":0.2374518104324796,"score_spread":0.2290449750500023,"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."}}