{"id":"W2950537761","doi":"10.4204/eptcs.280.11","title":"Smtlink 2.0","year":2018,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Satisfiability modulo theories; Soundness; Python (programming language); Satisfiability; Extension (predicate logic); Modulo; Translation (biology); Extensibility; Solver","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.003868595,0.002076296,0.0009348757,0.002113035,0.0007715836,0.003636169,0.005830882,0.001452902,0.12275],"category_scores_gemma":[0.01131186,0.002202075,0.003288557,0.001141994,0.001086503,0.004973161,0.005782138,0.004254761,0.06845153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00150609,"about_ca_system_score_gemma":0.003669997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004042007,"about_ca_topic_score_gemma":0.003640616,"domain_scores_codex":[0.996222,0.0006881939,0.0004435414,0.0006546043,0.001574291,0.0004173618],"domain_scores_gemma":[0.9957095,0.001379782,0.0003020744,0.001065368,0.001367977,0.0001752381],"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.001517651,0.0003295759,0.002492762,0.002848407,0.000316016,0.0007893448,0.0006302532,0.01212192,0.01464721,0.1210617,0.602806,0.2404392],"study_design_scores_gemma":[0.000601694,0.0002397328,0.0007802028,0.0004309774,0.0001281384,0.0008410579,0.0001350492,0.07991316,0.02726948,0.05938691,0.8300763,0.0001973333],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"software","genre_gemma":"software","genre_scores_codex":[0.002564553,0.0002120401,0.4595486,0.0005659842,0.0004604345,0.0004417054,0.01059284,0.5000215,0.02559233],"genre_scores_gemma":[0.08551999,0.0008655996,0.5148456,0.002521119,0.0004268077,0.002109849,0.1026186,0.2270932,0.06399916],"genre_candidate":"software","genre_consensus":"software","teacher_disagreement_score":0.12275,"threshold_uncertainty_score":0.4106398,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008010546611672423,"score_gpt":0.2430261120248299,"score_spread":0.2350155654131575,"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."}}