{"id":"W2953059566","doi":"10.48550/arxiv.1906.05881","title":"Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Translation (biology); Set (abstract data type); Representation (politics); Interface (matter); Solver; Programming language; Parallel computing","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.005271241,0.002133803,0.001041048,0.002378106,0.0009648219,0.004579301,0.00324238,0.002485331,0.03736647],"category_scores_gemma":[0.02974385,0.001639111,0.002716038,0.00259011,0.001473464,0.005082259,0.004217857,0.002915566,0.01489562],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002238245,"about_ca_system_score_gemma":0.003369089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004599645,"about_ca_topic_score_gemma":0.008514386,"domain_scores_codex":[0.9922953,0.002387578,0.0007384234,0.000842454,0.003116754,0.0006196802],"domain_scores_gemma":[0.9898806,0.005179418,0.000379034,0.002424169,0.001926956,0.0002099205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003368284,0.0009987941,0.00966547,0.00379831,0.0007431474,0.0008064489,0.001201409,0.08583052,0.01962847,0.1178551,0.3915643,0.3645398],"study_design_scores_gemma":[0.001180416,0.0006071633,0.001942315,0.0007083698,0.0002516804,0.0006621938,0.001005813,0.6591495,0.07489723,0.0909797,0.16839,0.0002256836],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1063245,0.00205682,0.4197582,0.001790716,0.001850744,0.0007769341,0.0186994,0.3750453,0.07369745],"genre_scores_gemma":[0.2759334,0.000824015,0.5992217,0.001174376,0.0001857059,0.0006811073,0.03924241,0.06662203,0.0161153],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03736647,"threshold_uncertainty_score":0.1250033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.121175624579681,"score_gpt":0.2287895984531023,"score_spread":0.1076139738734213,"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."}}