{"id":"W1520747543","doi":"10.1007/bfb0023724","title":"Issues arising in the analysis of L.0","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Executable; Computer science; Asynchronous communication; Programming language; Simple (philosophy); Operator (biology); Theoretical computer science; Telecommunications","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.002995049,0.0002947937,0.0005483171,0.002014724,0.0001019257,0.000268805,0.004605561,0.0002096512,0.00001270318],"category_scores_gemma":[0.0001696036,0.000221737,0.0001652545,0.002993322,0.0005531174,0.00055915,0.0005768781,0.0006111499,0.000007428047],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001747968,"about_ca_system_score_gemma":0.0001735451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007027825,"about_ca_topic_score_gemma":0.0001885155,"domain_scores_codex":[0.9969487,0.0001121568,0.0006380923,0.0008935058,0.001026287,0.0003812709],"domain_scores_gemma":[0.9971024,0.0005453174,0.0003849733,0.001769562,0.0001546543,0.00004312056],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002523426,0.00002861557,0.0002055509,0.00001482386,0.00003072993,0.00001180401,0.003799911,0.1121374,0.00006826761,0.07649485,0.000004327183,0.8072012],"study_design_scores_gemma":[0.00007855913,0.00005555024,0.003926525,0.0001233149,0.00004601054,0.00001056046,6.408873e-7,0.9441536,0.0009809237,0.04924674,0.001062419,0.0003151356],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002960486,0.0006177492,0.9950889,0.0007004645,0.0004464437,0.0002179818,0.000002026788,0.0000377474,0.002592608],"genre_scores_gemma":[0.09775017,0.00006241296,0.9012313,0.0007042465,0.0001608574,0.000004551332,0.000002476616,0.00001001795,0.00007394952],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8320162,"threshold_uncertainty_score":0.9042171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03234883769730573,"score_gpt":0.3155153802636723,"score_spread":0.2831665425663665,"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."}}