{"id":"W7013250707","doi":"","title":"1006831.pdf","year":2019,"lang":"en","type":"other","venue":"OAPEN (The OAPEN Foundation)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Air Force Research Laboratory; Air Force Office of Scientific Research; Office of Naval Research; Advanced Research Projects Agency; Defense Advanced Research Projects Agency; Amazon Web Services; Ministry of Science and ICT, South Korea; National Research Foundation of Korea; Office of Science; National Research Foundation; Austrian Science Fund; Israel Science Foundation; United States-Israel Binational Science Foundation; Deutsche Forschungsgemeinschaft; National Natural Science Foundation of China; U.S. Department of Energy; Advanced Scientific Computing Research; Tel Aviv University; Korea Foundation for Advanced Studies; European Commission; U.S. Navy; Compute Canada; National Science Foundation; Agence Nationale de la Recherche; National Aeronautics and Space Administration","keywords":"Set (abstract data type); Probabilistic logic; Automaton; Key (lock)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0007343451,0.001165031,0.0009378453,0.00260319,0.001570512,0.008517683,0.001630312,0.002358124,0.9486384],"category_scores_gemma":[0.004001028,0.0006666741,0.0005993924,0.002648935,0.0007160928,0.003991702,0.00408932,0.001879171,0.9480005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001364618,"about_ca_system_score_gemma":0.001491778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006711268,"about_ca_topic_score_gemma":0.007793221,"domain_scores_codex":[0.9994293,0.00005999523,0.00003698907,0.00008634775,0.0002828837,0.0001045199],"domain_scores_gemma":[0.9981632,0.0002596134,0.00008634575,0.0002323489,0.0006931605,0.0005653719],"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.00003252249,0.00002018239,0.00005190932,0.0001066602,0.000001933863,0.00001865667,0.00001529306,0.00003765109,0.00007373941,0.002693411,0.9513767,0.04557125],"study_design_scores_gemma":[0.00001123611,0.000005542644,0.0001119917,0.00008234383,0.000001349269,0.00002680039,0.00001729852,0.00003204422,0.00005628213,0.0006885172,0.998961,0.000005675469],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0001545377,0.0004864046,0.0005321004,0.0009014003,0.0007659214,0.00006202712,0.01782778,0.003802449,0.9754674],"genre_scores_gemma":[0.0009717828,0.0005082611,0.0003501549,0.000583456,0.0001705369,0.00005303951,0.008925618,0.002194245,0.9862429],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.05136162,"threshold_uncertainty_score":0.07326114,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01485247026355629,"score_gpt":0.2648758654879413,"score_spread":0.250023395224385,"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."}}