{"id":"W4402674324","doi":"10.1109/csf61375.2024.00040","title":"On Separation Logic, Computational Independence, and Pseudorandomness","year":2024,"lang":"en","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Agence Nationale de la Recherche","keywords":"Pseudorandomness; Independence (probability theory); Computer science; Separation (statistics); Algorithm; Mathematics; Machine learning; Pseudorandom number generator; Statistics","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.004896661,0.001149898,0.0009422693,0.002537264,0.002066988,0.003503354,0.001522356,0.001941814,0.00400188],"category_scores_gemma":[0.01025029,0.000644269,0.002025916,0.002353725,0.01253769,0.01261035,0.005174892,0.007951508,0.0007669732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002839963,"about_ca_system_score_gemma":0.001711592,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00166894,"about_ca_topic_score_gemma":0.0008919754,"domain_scores_codex":[0.9953303,0.001719498,0.0002706728,0.0007550825,0.001388454,0.0005359701],"domain_scores_gemma":[0.9870499,0.009869414,0.0007303698,0.001032781,0.0009106575,0.0004070309],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002387398,0.00001815971,0.0001224622,0.00004011357,0.000008180223,0.00006882492,0.0001368709,0.001720818,0.0003201925,0.9933775,0.0004026429,0.003760413],"study_design_scores_gemma":[0.00001048561,0.00001787616,0.00008227184,0.00002008838,0.00000857033,0.000067925,0.00002242487,0.005586698,0.0003579649,0.9913674,0.002446217,0.00001206896],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02959082,0.004706,0.9024472,0.007727314,0.0002550327,0.0000830686,0.0002463935,0.0002584456,0.05468583],"genre_scores_gemma":[0.7840127,0.00671834,0.1863902,0.00383787,0.002095838,0.0003696384,0.0005853258,0.0002814092,0.0157087],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004896661,"threshold_uncertainty_score":0.02589631,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01284602987703796,"score_gpt":0.2893427765301259,"score_spread":0.2764967466530879,"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."}}