{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002787332,0.000227899,0.0002425555,0.0003326436,0.0003963736,0.0007392142,0.003568033,0.00009271107,0.00002465916],"category_scores_gemma":[0.0001448137,0.0001853168,0.00005842638,0.002605849,0.002686503,0.001032587,0.0009781066,0.0004030378,0.0001898785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002725964,"about_ca_system_score_gemma":0.0003418975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006224529,"about_ca_topic_score_gemma":0.000003271454,"domain_scores_codex":[0.9963211,0.00002483949,0.000354915,0.001055924,0.0007296334,0.001513587],"domain_scores_gemma":[0.9988254,0.0000630886,0.00009947997,0.0004202607,0.0003708163,0.0002209025],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005209031,0.0000465236,0.0003563105,0.00000638671,0.000002466304,0.000003259356,0.0007017007,6.527156e-7,0.0003753973,0.9708875,0.00006987913,0.02754471],"study_design_scores_gemma":[0.0002749689,0.0008130015,0.0004411536,0.000009030507,0.000001937889,0.00009416969,0.0000114805,0.1572501,0.007377589,0.8302208,0.003207562,0.0002981552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02139224,0.00009005568,0.9448469,0.0008135977,0.0007863097,0.0002777212,5.025651e-8,0.0003914584,0.0314017],"genre_scores_gemma":[0.9825808,0.000006456759,0.01636159,0.0005004745,0.0004878603,0.00001969442,1.383285e-7,0.00001047893,0.00003249706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9611886,"threshold_uncertainty_score":0.9898533,"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."}}