{"id":"W1416094008","doi":"","title":"Sheaves on Graphs and a Proof of the Hanna Neumann Conjecture","year":2011,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Topological and Geometric Data Analysis","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Conjecture; Mathematics; Invariant (physics); Von Neumann architecture; Argument (complex analysis); Pure mathematics; Graph; Discrete mathematics; Combinatorics","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.001528323,0.0005049476,0.0006393349,0.001476175,0.001201025,0.001478657,0.0008920455,0.0008191125,0.006288123],"category_scores_gemma":[0.008783658,0.000390732,0.000708262,0.001113896,0.004129646,0.005230017,0.003629287,0.002916597,0.0004492394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009790064,"about_ca_system_score_gemma":0.000424252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001175877,"about_ca_topic_score_gemma":0.0008725954,"domain_scores_codex":[0.9988028,0.0003547072,0.00004882309,0.0002219589,0.0003922041,0.0001795569],"domain_scores_gemma":[0.9949243,0.003120369,0.0003379106,0.0006516132,0.000520137,0.0004457374],"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.00003678609,0.00002764542,0.0007697881,0.00004208353,0.000008567704,0.0001433073,0.0002880669,0.001709949,0.001753611,0.9904739,0.0009775875,0.003768629],"study_design_scores_gemma":[0.000009665511,0.00001778321,0.0007050222,0.00001703668,0.00000784078,0.0001357083,0.0001271849,0.007903603,0.001060795,0.9866997,0.003301878,0.00001379194],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7290667,0.001182099,0.1413903,0.008484536,0.0004057427,0.00004973087,0.0003658314,0.0005327846,0.1185223],"genre_scores_gemma":[0.9856963,0.0003775683,0.008347794,0.0004148709,0.0002076856,0.00002154023,0.000142364,0.00005322008,0.004738715],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006288123,"threshold_uncertainty_score":0.02103585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06814641642441865,"score_gpt":0.1589060597360769,"score_spread":0.09075964331165828,"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."}}