{"id":"W3145802419","doi":"10.1109/mise.2012.6226012","title":"Avestan: A declarative modeling language based on SMT-LIB","year":2012,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Programming language; Satisfiability modulo theories; Natural language processing; Artificial intelligence","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.003370959,0.001446022,0.0009400438,0.001359156,0.0007000954,0.003710461,0.003450563,0.001359036,0.009432645],"category_scores_gemma":[0.005267409,0.001578877,0.003416433,0.000965197,0.0013431,0.00410049,0.002770987,0.003282813,0.003895113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009368829,"about_ca_system_score_gemma":0.00293875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004707593,"about_ca_topic_score_gemma":0.007420375,"domain_scores_codex":[0.997921,0.0005070916,0.0003943441,0.000327536,0.000662533,0.0001874497],"domain_scores_gemma":[0.9969985,0.001379168,0.0003062901,0.0006007763,0.0005891366,0.0001260835],"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.0004715353,0.0002467627,0.002597709,0.002084658,0.0003012281,0.001368101,0.002109611,0.1135104,0.02778464,0.6772704,0.04853028,0.1237248],"study_design_scores_gemma":[0.0001858541,0.0001808886,0.0004962237,0.0004266829,0.0001801663,0.001117923,0.000262663,0.3184825,0.03051812,0.1410743,0.5068815,0.0001930047],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001709417,0.000125372,0.9760281,0.0002188762,0.0000798226,0.000165802,0.001933209,0.01558328,0.004156165],"genre_scores_gemma":[0.05973978,0.0007822196,0.9088366,0.0007148429,0.0001252343,0.00114946,0.01016776,0.007202582,0.01128153],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009432645,"threshold_uncertainty_score":0.03155535,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02028181584417256,"score_gpt":0.2584274979695296,"score_spread":0.2381456821253571,"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."}}