{"id":"W6910320367","doi":"10.4230/lipics.icalp.2023.28","title":"Nondeterministic Interactive Refutations for Nearest Boolean Vector","year":2023,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; Chinese University of Hong Kong; European Commission","keywords":"Nondeterministic algorithm; Boolean function; Cube (algebra); Randomness; Maximum satisfiability problem; Linear subspace; Matrix (chemical analysis); Two-element Boolean algebra","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004991738,0.0003557618,0.0003802016,0.0004986357,0.0006097527,0.000731906,0.001395983,0.0001646875,0.00001998996],"category_scores_gemma":[0.0003120897,0.0003418769,0.0003655223,0.0008673333,0.0001221073,0.00241155,0.0005187427,0.0003206588,0.0003163065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008132413,"about_ca_system_score_gemma":0.0001103635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000109577,"about_ca_topic_score_gemma":0.00002803571,"domain_scores_codex":[0.9975107,0.00003287889,0.0008843487,0.0003869743,0.0003779457,0.0008071796],"domain_scores_gemma":[0.9974382,0.0006548637,0.0003657488,0.0009719552,0.0003269208,0.0002423224],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008080756,0.001442945,0.003228697,0.002867508,0.0009601502,0.00005693231,0.08425197,0.0004810526,0.000496458,0.6631728,0.1520763,0.09015707],"study_design_scores_gemma":[0.006217363,0.001324465,0.007364783,0.0003444336,0.0001189901,0.00009000998,0.00396776,0.5331684,0.001229499,0.02675958,0.4177812,0.001633463],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06589443,0.00001888855,0.9195063,0.0009115671,0.002653099,0.002314729,0.005273005,0.00101815,0.002409813],"genre_scores_gemma":[0.9316061,0.00002655081,0.06270233,0.001168795,0.0003017515,0.000756881,0.00323485,0.00006068019,0.0001420309],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8657117,"threshold_uncertainty_score":0.9999033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0219407974307442,"score_gpt":0.2976769124618461,"score_spread":0.275736115031102,"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."}}