{"id":"W2052094717","doi":"10.1109/hase.2012.26","title":"Proving the Absence Property Pattern Using the B Method","year":2012,"lang":"en","type":"preprint","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Property (philosophy); Algorithm; Artificial intelligence; Discrete mathematics; Information retrieval; Mathematics; Philosophy","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.004748779,0.0002493467,0.0001910032,0.00004268999,0.0003642867,0.0005560202,0.004129839,0.0001594865,0.00002230901],"category_scores_gemma":[0.000201867,0.00009212568,0.0001113575,0.0002155672,0.0001013651,0.0004408331,0.004024437,0.0008689651,0.00003282807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001049908,"about_ca_system_score_gemma":0.0001849541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008475477,"about_ca_topic_score_gemma":0.00001105742,"domain_scores_codex":[0.9972332,0.001030908,0.000355042,0.0005365139,0.00046227,0.0003821274],"domain_scores_gemma":[0.996617,0.0002459314,0.0003547246,0.002589053,0.0001403091,0.00005304293],"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.000002048389,0.00004095672,0.0004759867,0.000137213,0.00004214816,0.000001227821,0.005422713,0.002794971,0.001567493,0.03135979,0.0002647105,0.9578907],"study_design_scores_gemma":[0.00002774251,0.000006392853,0.001094359,0.00006395629,0.00001567503,0.00003599582,0.00008145413,0.9878243,0.004621623,0.00269507,0.003289346,0.0002440715],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004086824,0.0001567664,0.9914878,0.001506477,0.001848914,0.0008822881,0.000001154565,0.0001863025,0.003521598],"genre_scores_gemma":[0.04442003,0.000009916241,0.9537984,0.0007787753,0.00030662,0.0001033154,7.276625e-7,0.00001737067,0.0005648744],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9850293,"threshold_uncertainty_score":0.7674337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1283252049544197,"score_gpt":0.3677059413774359,"score_spread":0.2393807364230162,"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."}}