{"id":"W6929283812","doi":"10.48550/arxiv.1810.04317","title":"Smtlink 2.0","year":2018,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Traditional and Medicinal Uses of Annonaceae","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"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.00008242601,0.0002086186,0.0001611671,0.00005798116,0.00007351633,0.0000130759,0.0004152338,0.0003383971,0.00009267595],"category_scores_gemma":[0.00002628606,0.0002275921,0.0001824213,0.00007067432,0.0002088679,0.000002853548,0.0004708825,0.0002297434,0.0001370969],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002816268,"about_ca_system_score_gemma":0.0002293465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003993185,"about_ca_topic_score_gemma":0.00002348492,"domain_scores_codex":[0.9989479,0.00003632087,0.0001036855,0.000646939,0.0000510663,0.0002141442],"domain_scores_gemma":[0.9991107,0.000008537577,0.00009362357,0.0005006477,0.0001377829,0.0001487276],"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.004841644,0.002423083,0.04405286,0.001546642,0.004278564,0.002672554,0.0003569015,0.07466608,0.07464279,0.1889788,0.5953552,0.006184941],"study_design_scores_gemma":[0.003812894,0.002273314,0.03497456,0.0005252654,0.0007387536,0.0001018547,0.0002916047,0.005502339,0.0227145,0.08263027,0.8433796,0.003055024],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9789865,0.0002437051,0.00613228,0.0001287121,0.0006523103,0.0001453919,0.00009218373,0.00003927936,0.01357962],"genre_scores_gemma":[0.9914717,0.000483343,0.0001591038,0.0003552693,0.001034411,6.723433e-7,0.0004457108,0.00002110019,0.006028688],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2480244,"threshold_uncertainty_score":0.9280939,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05630005244703678,"score_gpt":0.1859839000216018,"score_spread":0.1296838475745651,"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."}}