{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007796569,0.00007865483,0.0001138881,0.0001438533,0.00008927489,0.00001299902,0.0007244524,0.00004436537,0.00003096845],"category_scores_gemma":[0.00002888895,0.00005010749,0.00007858092,0.001308,0.0001697618,0.0001621305,0.000297272,0.00008580666,0.000005183771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006213964,"about_ca_system_score_gemma":0.00001104891,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008776267,"about_ca_topic_score_gemma":0.00002234175,"domain_scores_codex":[0.9994159,0.00005079592,0.00006767044,0.0002951665,0.00004757973,0.0001229132],"domain_scores_gemma":[0.9993469,0.00004663234,0.00006829736,0.0004526912,0.00003087313,0.00005458278],"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.000016289,0.0001145179,0.01381647,0.000007193053,0.00004796957,0.00003115224,0.0002679343,0.0003430447,0.00002022695,0.9822506,0.0001986643,0.002885904],"study_design_scores_gemma":[0.001168453,0.001057924,0.2723969,0.00004996224,0.0001776884,0.00001580963,0.0002571142,0.03925662,0.01179492,0.6714656,0.00177028,0.0005887395],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9554138,0.00004867774,0.03969216,0.0001664476,0.00008145259,0.00009250277,0.000007398576,0.00004090181,0.004456617],"genre_scores_gemma":[0.9990544,0.00001377068,0.0001487889,0.0001214602,0.00000300299,1.080846e-7,3.789269e-7,0.000001481759,0.0006565773],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3107851,"threshold_uncertainty_score":0.2043324,"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."}}