{"id":"W2738937907","doi":"10.1609/aimag.v24i1.1694","title":"The fifth symposium on abstraction, reformulation, and approximation (SARA-2002)","year":2003,"lang":"en","type":"article","venue":"AI Magazine","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Abstraction; Computer science; Constraint programming; Constraint satisfaction; Scheduling (production processes); Constraint (computer-aided design); Constraint satisfaction problem; Artificial intelligence; Operations research; Mathematical economics; Theoretical computer science; Mathematics education; Mathematics; Mathematical optimization; Epistemology; Philosophy","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.0002554684,0.000088016,0.00005951477,0.00005823587,0.0003129561,0.0002014155,0.00009958157,0.00004102083,0.0000465844],"category_scores_gemma":[0.00006362592,0.00006415046,0.00001987375,0.0002057682,0.00003472252,0.0004789433,0.00001634823,0.00009740661,0.0001670513],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003621318,"about_ca_system_score_gemma":0.0000316995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002488082,"about_ca_topic_score_gemma":0.00001490488,"domain_scores_codex":[0.9992802,0.00004747208,0.0001812665,0.0001978132,0.0001648284,0.0001284851],"domain_scores_gemma":[0.9994133,0.00008003684,0.0000834021,0.0002746053,0.0001018383,0.0000468892],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001798707,0.0000687393,0.001633053,0.00001488783,0.00002299862,0.000002624042,0.0005958006,0.008380534,0.001372413,0.8545666,0.009796837,0.1235275],"study_design_scores_gemma":[0.001346988,0.000202953,0.1341923,0.00003128558,0.00001619066,0.0001363573,0.00004819498,0.2836711,0.002313676,0.01849895,0.5590429,0.000499087],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005526038,0.00007792748,0.9172785,0.01672752,0.0007561442,0.0003800344,0.000001805874,0.0002451059,0.05900693],"genre_scores_gemma":[0.9835184,0.0001495332,0.01155302,0.0012813,0.00005379722,0.00001938358,0.000007193563,0.00001011792,0.003407305],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9779923,"threshold_uncertainty_score":0.261598,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007667134530408144,"score_gpt":0.2267153123018006,"score_spread":0.2190481777713925,"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."}}