{"id":"W2286310935","doi":"10.48550/arxiv.1510.04316","title":"Probabilistic Opacity in Refinement-Based Modeling","year":2015,"lang":"en","type":"preprint","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Probabilistic logic; Markov chain; Computer science; Predicate (mathematical logic); Opacity; Theoretical computer science; TRACE (psycholinguistics); Algorithm; Discrete mathematics; Mathematics; Programming language; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004542593,0.0006577453,0.0007379882,0.001041462,0.00013689,0.0005330868,0.003234344,0.0008225914,0.000007288818],"category_scores_gemma":[0.001376749,0.0007167289,0.0002188393,0.0009563879,0.00009352774,0.0005423871,0.002129519,0.001770853,0.00001762738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002516113,"about_ca_system_score_gemma":0.001775899,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009953083,"about_ca_topic_score_gemma":0.002144441,"domain_scores_codex":[0.9949737,0.0006705754,0.001149997,0.001365056,0.0008563812,0.0009843402],"domain_scores_gemma":[0.995074,0.0001057596,0.0005508696,0.003442697,0.0004289452,0.0003977615],"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":[0.00005460495,0.0003474895,0.00131846,0.0002591001,0.00001796281,0.00003998259,0.0003335468,0.8969981,0.0002797176,0.08595898,0.0003726218,0.01401941],"study_design_scores_gemma":[0.0004092294,0.00007895411,0.0008387367,0.0002550463,0.00001608817,0.00001403046,0.0000162628,0.9425772,0.001029018,0.05393153,0.000180845,0.0006531003],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03560778,0.0006527603,0.9575515,0.00191145,0.0005201284,0.001694227,0.00003706089,0.001293936,0.0007311347],"genre_scores_gemma":[0.3183356,0.00002972307,0.6793994,0.0006129369,0.00007957874,0.00137924,0.0000449622,0.00005257675,0.00006606459],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2827278,"threshold_uncertainty_score":0.9995284,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04685007667451647,"score_gpt":0.2891373620883717,"score_spread":0.2422872854138552,"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."}}