{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005057268,0.0001469429,0.0001163827,0.00007798763,0.0002283898,0.0002343536,0.0004551356,0.00007857453,0.00003282501],"category_scores_gemma":[0.0000628787,0.00009723655,0.00003543459,0.000292159,0.00007655092,0.000584633,0.0001595378,0.0003405685,0.0002064055],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003005007,"about_ca_system_score_gemma":0.00003427977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002021105,"about_ca_topic_score_gemma":0.00003984209,"domain_scores_codex":[0.9988207,0.00004505067,0.0002485494,0.0003924668,0.0002887201,0.000204579],"domain_scores_gemma":[0.998712,0.0001489331,0.000105993,0.0007866351,0.0001743643,0.0000720465],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006097182,0.0009062736,0.007301343,0.0001000805,0.00006940145,0.00002012822,0.002606096,0.004466716,0.05465163,0.516754,0.02871743,0.384346],"study_design_scores_gemma":[0.0006370182,0.0002483438,0.3649808,0.00001225116,0.00001371531,0.0001339854,0.000008303919,0.4969541,0.002973568,0.06379496,0.06984301,0.0003999007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3218868,0.00009018217,0.5572541,0.08558746,0.003693831,0.001342957,0.00001091529,0.0008582317,0.02927552],"genre_scores_gemma":[0.9802849,0.000009577191,0.01752683,0.001223144,0.0003390564,0.00002012001,0.000008705579,0.00001065556,0.0005770188],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6583981,"threshold_uncertainty_score":0.3965191,"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."}}