{"id":"W2738580122","doi":"","title":"Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. Proceedings","year":2016,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Scientific Computing and Data Management","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Library science; Regional science; Computer science; Sociology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.02910203,0.001841188,0.001962022,0.003475971,0.001787026,0.007543478,0.004049662,0.00259524,0.0211571],"category_scores_gemma":[0.06788121,0.002200865,0.001453255,0.002785222,0.005220428,0.009003833,0.005263732,0.005714798,0.006039863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004910491,"about_ca_system_score_gemma":0.01160594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01651054,"about_ca_topic_score_gemma":0.02070925,"domain_scores_codex":[0.9731486,0.01104111,0.001904757,0.001775899,0.01119382,0.0009359431],"domain_scores_gemma":[0.9209948,0.04245718,0.001286755,0.01632238,0.01675888,0.002179996],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001697899,0.001163299,0.004814978,0.002889723,0.0003912754,0.0002355498,0.002069707,0.0135392,0.01478905,0.09160769,0.1492854,0.7175164],"study_design_scores_gemma":[0.0009857734,0.00199298,0.009283775,0.005478512,0.0005960438,0.001092704,0.001910059,0.1374793,0.06844139,0.2033754,0.5690654,0.0002986837],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.03857783,0.031687,0.8539271,0.01163012,0.003990114,0.001500607,0.00395179,0.02617649,0.02855887],"genre_scores_gemma":[0.1973441,0.02284655,0.7144427,0.001329459,0.0008335531,0.001383943,0.01515807,0.01399959,0.03266207],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02910203,"threshold_uncertainty_score":0.1539081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05859072462713977,"score_gpt":0.3016853061292094,"score_spread":0.2430945815020696,"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."}}