{"id":"W3155768919","doi":"10.1093/imrn/rnab029","title":"On an Extension of Hoffmann’s Separation Theorem for Quadratic Forms","year":2021,"lang":"en","type":"article","venue":"International Mathematics Research Notices","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Conjecture; Combinatorics; Dimension (graph theory); Integer (computer science); Extension (predicate logic); Generalization; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.003460308,0.0001649828,0.0003054534,0.0003120541,0.0001715374,0.0001150423,0.0005114406,0.0001153398,0.000529534],"category_scores_gemma":[0.008084145,0.0001337633,0.000138472,0.0002723238,0.0001562893,0.000377292,0.000128432,0.0002422509,0.00006228332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007974697,"about_ca_system_score_gemma":0.0001179141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003364457,"about_ca_topic_score_gemma":0.00002074547,"domain_scores_codex":[0.9972692,0.0002275594,0.0005829197,0.0003476016,0.001257104,0.000315594],"domain_scores_gemma":[0.9912301,0.006270745,0.0002537864,0.0005877521,0.00155711,0.0001005296],"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.0001444826,0.00114106,0.00001361605,0.000488275,0.0001063178,0.000009347217,0.001704804,0.00008943128,0.004494603,0.9903173,0.0007849835,0.0007058125],"study_design_scores_gemma":[0.0004774645,0.0003043239,0.00006000861,0.0002629396,0.00002754845,0.000012718,0.002456883,0.0164667,0.04596714,0.9335907,0.0002381192,0.0001355198],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9466371,0.00003904644,0.0307475,0.000689403,0.0003019348,0.0005619927,0.00004987936,0.00005195529,0.02092117],"genre_scores_gemma":[0.9649048,0.00001191438,0.03221179,0.00005428633,0.0001422181,0.00008405044,0.00006232413,0.00003830168,0.00249036],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05672663,"threshold_uncertainty_score":0.9678061,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.153723919790965,"score_gpt":0.4746840128814184,"score_spread":0.3209600930904534,"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."}}