{"id":"W2496887306","doi":"10.1007/978-3-319-41540-6","title":"Computer Aided Verification","year":2016,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Robotics and Automated Systems","field":"Engineering","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Set (abstract data type); Volume (thermodynamics); Software engineering; Computer graphics (images); Programming language","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.000288302,0.0002964609,0.00032552,0.0003497449,0.00007207232,0.0001879719,0.0007676764,0.0002529609,0.00001344107],"category_scores_gemma":[0.00001037015,0.0002376633,0.00006022088,0.0003040502,0.0001774211,0.0001460397,0.0001143615,0.0003041431,0.00014479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003736303,"about_ca_system_score_gemma":0.0001708174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002248913,"about_ca_topic_score_gemma":0.000004108623,"domain_scores_codex":[0.9983413,0.00001681726,0.000342599,0.0005140416,0.0003906035,0.0003946082],"domain_scores_gemma":[0.999023,0.0001417611,0.0000736541,0.0006047346,0.00007619177,0.00008061268],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[7.500481e-7,0.000005955477,0.00001351003,0.0001028692,0.00001068553,0.00001610254,0.0001776462,0.6623055,0.0009170476,0.000222281,0.001267315,0.3349603],"study_design_scores_gemma":[0.0001376117,0.00002887457,0.0001394492,0.0005773192,0.000003758062,0.00001759609,2.138117e-8,0.9883074,0.001166085,0.003881207,0.005363782,0.0003769645],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001087771,0.0002638814,0.9923397,0.00007452496,0.004024609,0.0002110427,0.0000064185,0.0003555796,0.002615443],"genre_scores_gemma":[0.6104814,0.0002278108,0.3750988,0.001023337,0.009347231,0.00005085046,0.00008038666,0.0003452712,0.003344877],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.617241,"threshold_uncertainty_score":0.9691629,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01040601566973151,"score_gpt":0.2137149068595972,"score_spread":0.2033088911898657,"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."}}