{"id":"W2144834718","doi":"10.48550/arxiv.0905.3781","title":"A Proof of the Strengthened Hanna Neumann Conjecture","year":2009,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Combinatorial Mathematics","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Conjecture; Mathematics; Morphism; Cohomology; Pure mathematics; Von Neumann architecture; Interpretation (philosophy); Sheaf; Discrete mathematics; Linguistics; Philosophy","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002229927,0.0004287947,0.0006761373,0.0001189843,0.0001172276,0.0000231562,0.001415514,0.0004505122,0.0000355538],"category_scores_gemma":[0.0004728934,0.0003592011,0.0004203558,0.0004096775,0.0001932446,0.00008331429,0.001039511,0.0008453255,0.00000549658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001812341,"about_ca_system_score_gemma":0.0002088858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001062481,"about_ca_topic_score_gemma":0.00002613926,"domain_scores_codex":[0.9983186,0.000194762,0.0003974144,0.0005945634,0.0001751651,0.0003195093],"domain_scores_gemma":[0.9965833,0.0003630265,0.0008973865,0.001835595,0.0002295649,0.00009105845],"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.0000497312,0.0003646076,0.00009067561,0.0006469126,0.0001608477,0.0000366828,0.0005220546,0.02227514,0.00005825027,0.9750656,0.0005227335,0.0002067731],"study_design_scores_gemma":[0.0006052564,0.00007084962,0.00003919605,0.0004614541,0.0002744805,0.000003483688,0.00009877377,0.006762255,0.002966485,0.9881998,0.0001751197,0.00034284],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9281794,0.00009115372,0.06157532,0.0001873994,0.001379225,0.001768274,0.0000679537,0.0002544328,0.006496839],"genre_scores_gemma":[0.9961708,0.00002019339,0.001793711,0.00002685744,0.00008874218,0.000001643496,0.00000433752,0.00004840246,0.001845286],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06799143,"threshold_uncertainty_score":0.999886,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09652597039264062,"score_gpt":0.221736812117702,"score_spread":0.1252108417250614,"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."}}