{"id":"W2027107615","doi":"10.1016/j.ipl.2014.05.005","title":"Parallelization of entanglement-resistant multi-prover interactive proofs","year":2014,"lang":"en","type":"article","venue":"Information Processing Letters","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Canada Foundation for Innovation; Ontario Research Foundation; Natural Sciences and Engineering Research Council of Canada; Canadian Institute for Advanced Research","keywords":"Gas meter prover; Soundness; Mathematical proof; Quantum entanglement; Computer science; Theoretical computer science; Proof assistant; Programming language; Mathematics; Quantum; Quantum mechanics; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00439193,0.001620952,0.002705578,0.001298121,0.002081892,0.004052088,0.004231415,0.001783493,0.02230495],"category_scores_gemma":[0.01713728,0.001192321,0.001936481,0.001582272,0.002210684,0.00514612,0.007788299,0.003305698,0.003634322],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001689398,"about_ca_system_score_gemma":0.004322551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001237926,"about_ca_topic_score_gemma":0.002456307,"domain_scores_codex":[0.9873045,0.003262467,0.0006960364,0.001820586,0.004674266,0.002242046],"domain_scores_gemma":[0.9720922,0.01284101,0.0009246607,0.01069323,0.002636893,0.0008120792],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.008382523,0.001638099,0.002276229,0.001234774,0.0005488257,0.001336258,0.001008543,0.2393383,0.06408134,0.2969792,0.03139325,0.3517827],"study_design_scores_gemma":[0.0005617126,0.0003125356,0.0003868597,0.00004516372,0.0001049252,0.0002484585,0.00009446859,0.7942274,0.03854897,0.1596552,0.00573966,0.00007474263],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09828404,0.0007180235,0.8569111,0.001507897,0.0006624105,0.0005265435,0.0007168364,0.01252964,0.02814352],"genre_scores_gemma":[0.7981402,0.000212988,0.189636,0.0003688715,0.0003254891,0.0003159645,0.0006850414,0.001280254,0.009035224],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02230495,"threshold_uncertainty_score":0.07461751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007859988746605873,"score_gpt":0.2420452847884894,"score_spread":0.2341852960418836,"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."}}