{"id":"W6891771343","doi":"10.48550/arxiv.1504.03014","title":"Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering","year":2015,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Formal methods; Event (particle physics); State (computer science); Formal specification; Extension (predicate logic); Formal verification","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01493105,0.002024207,0.001828637,0.002483075,0.001049586,0.007240694,0.003330158,0.003369215,0.03162946],"category_scores_gemma":[0.0143307,0.0009619485,0.00317386,0.001313065,0.002307455,0.005468313,0.005205663,0.007439481,0.01078383],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002613432,"about_ca_system_score_gemma":0.00345041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001844646,"about_ca_topic_score_gemma":0.002299572,"domain_scores_codex":[0.9928893,0.00310589,0.0006192415,0.0009981385,0.001865922,0.0005214802],"domain_scores_gemma":[0.9906076,0.003888427,0.0002378484,0.0020558,0.002215834,0.0009944366],"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.0007672553,0.0009773365,0.001317752,0.001336442,0.0003403694,0.0008523782,0.002768165,0.008804654,0.0105802,0.1175734,0.2810245,0.5736575],"study_design_scores_gemma":[0.0001255569,0.0002870334,0.001255254,0.00127559,0.0001295226,0.001015831,0.0004950694,0.01678955,0.006639792,0.1174652,0.854431,0.0000905908],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01342772,0.03600864,0.8191637,0.02406695,0.03247132,0.0006978905,0.001261542,0.002930385,0.06997181],"genre_scores_gemma":[0.1175174,0.03349598,0.5799769,0.005732819,0.01451331,0.001200529,0.008297223,0.004524918,0.2347409],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03162946,"threshold_uncertainty_score":0.1058111,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1097564052901541,"score_gpt":0.2629050216334033,"score_spread":0.1531486163432493,"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."}}