{"id":"W2061283920","doi":"10.1090/memo/1100","title":"Sheaves on Graphs, Their Homological Invariants, and a Proof of the Hanna Neumann Conjecture: with an Appendix by Warren Dicks","year":2014,"lang":"en","type":"article","venue":"Memoirs of the American Mathematical Society","topic":"Topological and Geometric Data Analysis","field":"Computer Science","cited_by":54,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Conjecture; Von Neumann architecture; Pure mathematics; Discrete mathematics","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.0006234657,0.0002061539,0.0005591365,0.00002783666,0.0001796812,0.00004897716,0.001689076,0.00006287298,0.00002449068],"category_scores_gemma":[0.0002163604,0.00007999512,0.0002748384,0.001151695,0.002196333,0.0001129479,0.0005948797,0.000251592,0.000002147507],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001164221,"about_ca_system_score_gemma":0.00002036867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006967066,"about_ca_topic_score_gemma":0.00000386813,"domain_scores_codex":[0.9982666,0.0003061077,0.0003027401,0.0003921452,0.0004482346,0.0002841352],"domain_scores_gemma":[0.9978921,0.0005296,0.000389773,0.001034253,0.00004264892,0.000111635],"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.0002074265,0.005457725,0.008967816,0.0005298913,0.001602138,0.000003832008,0.009167608,0.0003460454,0.002357803,0.7274409,0.03460633,0.2093125],"study_design_scores_gemma":[0.001271424,0.004946666,0.01950883,0.00024548,0.0003114858,0.00008636966,0.001635307,0.0455109,0.0198573,0.9028477,0.002879345,0.0008991733],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7766081,0.0002002084,0.2075822,0.01435433,0.00006197962,0.0004689017,0.00007359563,0.00006450187,0.0005861904],"genre_scores_gemma":[0.989613,0.00001647168,0.009140767,0.001098126,0.00001345913,0.00001142759,0.000002946877,0.00000735069,0.00009645995],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2130049,"threshold_uncertainty_score":0.8092481,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008589257705905233,"score_gpt":0.2143452519807301,"score_spread":0.2057559942748249,"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."}}