{"id":"W2946907515","doi":"10.4230/lipics.itcs.2020.26","title":"On Local Testability in the Non-Signaling Setting","year":2020,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Experimental Learning in Engineering","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Interchain Stiftung; Ethereum Foundation; Achievement Rewards for College Scientists Foundation; National Science Foundation","keywords":"Testability; Computer science; Reliability engineering; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.01049068,0.001166731,0.001923827,0.002940906,0.002330453,0.00473859,0.00329548,0.002595748,0.004861176],"category_scores_gemma":[0.05610778,0.0008797768,0.003035576,0.001792545,0.01493975,0.01428735,0.006931161,0.006690952,0.0006761224],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003606822,"about_ca_system_score_gemma":0.002672247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002131573,"about_ca_topic_score_gemma":0.001720111,"domain_scores_codex":[0.9843732,0.005402792,0.001086887,0.004019775,0.00359415,0.001523198],"domain_scores_gemma":[0.8759978,0.1036026,0.004598818,0.007469048,0.005973173,0.002358512],"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.0001098501,0.00007893635,0.001668736,0.0001911372,0.0000593855,0.0002993157,0.0006233925,0.01618672,0.002380376,0.9677926,0.0007633229,0.009846257],"study_design_scores_gemma":[0.00003618507,0.00005600484,0.0003274434,0.00003031422,0.0000316857,0.0001246917,0.00009452589,0.04602274,0.00243309,0.9502193,0.00058998,0.0000341138],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.13763,0.0003741286,0.8431112,0.003438859,0.00006527849,0.0001912644,0.0006290156,0.0007198507,0.01384043],"genre_scores_gemma":[0.899359,0.0003596866,0.09400592,0.001087757,0.0002552939,0.0004140352,0.0008456485,0.0002098487,0.003462859],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01049068,"threshold_uncertainty_score":0.05548072,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008621963358760525,"score_gpt":0.218389583665734,"score_spread":0.2097676203069735,"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."}}