{"id":"W2949083013","doi":"10.4230/lipics.ccc.2021.37","title":"A Simple Proof of a New Set Disjointness with Applications to Data Streams","year":2021,"lang":"en","type":"preprint","venue":"Dagstuhl Research Online Publication Server","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"National Science Foundation","keywords":"Computer science; Communication complexity; Business; Mathematics; Theoretical computer science","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.006358983,0.002951472,0.00257545,0.002450077,0.003512949,0.004899343,0.005386018,0.002728421,0.02601148],"category_scores_gemma":[0.0367177,0.001704134,0.005413245,0.003614735,0.008681028,0.01969544,0.01456771,0.02020047,0.004073005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003071162,"about_ca_system_score_gemma":0.004641024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001678978,"about_ca_topic_score_gemma":0.001313967,"domain_scores_codex":[0.9902367,0.001982959,0.0005387061,0.002323558,0.003963521,0.0009544746],"domain_scores_gemma":[0.9635558,0.02334919,0.001726023,0.005991615,0.003498751,0.00187849],"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.0004291149,0.0004497645,0.001021014,0.0008493697,0.0001726057,0.0006087534,0.000810264,0.02981312,0.01487855,0.8731846,0.02116211,0.05662081],"study_design_scores_gemma":[0.0001708698,0.0002084024,0.0004948385,0.0001262893,0.00007354164,0.0004393745,0.0001462807,0.08207352,0.008346268,0.8863983,0.02141719,0.000105129],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01077687,0.0007721179,0.9560366,0.007170588,0.0007310059,0.0004565718,0.001073219,0.001478032,0.02150501],"genre_scores_gemma":[0.3258776,0.002358636,0.6338556,0.00743828,0.00302662,0.003102779,0.00167134,0.001475197,0.02119394],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02601148,"threshold_uncertainty_score":0.087017,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2704365388557047,"score_gpt":0.4576145449371414,"score_spread":0.1871780060814367,"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."}}