{"id":"W4393425038","doi":"10.1093/imrn/rnae053","title":"Arithmetic Trialitarian Hyperbolic Lattices Are Not Locally Extended Residually Finite","year":2024,"lang":"en","type":"article","venue":"International Mathematics Research Notices","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","keywords":"Mathematics; Arithmetic; Pure 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":["metaresearch","metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.005020943,0.0003311501,0.000545489,0.001663212,0.0002412898,0.0008608014,0.00140862,0.0002477471,0.001659681],"category_scores_gemma":[0.01646009,0.000271484,0.0002283315,0.001122087,0.0004460056,0.0004313738,0.000480251,0.000952628,0.001303205],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001903328,"about_ca_system_score_gemma":0.0002909041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008584003,"about_ca_topic_score_gemma":0.0001269916,"domain_scores_codex":[0.9947665,0.0003992053,0.000988604,0.0006804278,0.002382533,0.0007827564],"domain_scores_gemma":[0.9831861,0.0149751,0.000225982,0.0006253566,0.0007559886,0.0002314667],"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.00008988036,0.0007482138,0.00005597943,0.001091903,0.0005953734,0.0004264482,0.002362443,0.00005985068,0.0002605492,0.9816129,0.007318704,0.005377823],"study_design_scores_gemma":[0.0008206957,0.0002198017,0.0005233398,0.0009258569,0.0001082781,0.00007028567,0.002496044,0.03315674,0.0007344957,0.93625,0.02425613,0.0004383296],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6382195,0.004495927,0.04890844,0.08109355,0.009955761,0.003865289,0.000625007,0.00228464,0.2105519],"genre_scores_gemma":[0.9494376,0.0001371988,0.03332492,0.0001617982,0.001018991,0.0001201413,0.0000184641,0.00009713705,0.01568372],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3112181,"threshold_uncertainty_score":0.9999737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2234249848652274,"score_gpt":0.4555342442029498,"score_spread":0.2321092593377224,"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."}}