{"id":"W2364884632","doi":"10.1112/blms.12141","title":"Almost all matroids are nonrepresentable","year":2018,"lang":"en","type":"article","venue":"Bulletin of the London Mathematical Society","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Matroid; Graphic matroid; Existential quantification; Omega","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0009674752,0.0001754494,0.0002942024,0.00001781848,0.0002272205,0.00008168547,0.002114869,0.00009901572,0.0008835102],"category_scores_gemma":[0.0003585296,0.0001155077,0.0004200817,0.0003575097,0.0007389548,0.00007241231,0.001634853,0.0002684391,0.0008065426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004338903,"about_ca_system_score_gemma":0.00002649846,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001827829,"about_ca_topic_score_gemma":0.000001018078,"domain_scores_codex":[0.9978821,0.0001686323,0.0003457933,0.0003874469,0.0007129614,0.0005030337],"domain_scores_gemma":[0.9975465,0.0004494999,0.0001926235,0.001473963,0.000213068,0.0001243505],"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.00004227656,0.000620614,0.001405235,0.0003866884,0.0002026461,0.000005156629,0.001975884,0.00003556113,0.005070885,0.5674455,0.4214299,0.001379712],"study_design_scores_gemma":[0.0008119932,0.0001530075,0.001208872,0.0002043078,0.00002908599,0.00004997215,0.0001812657,0.01038714,0.03665527,0.7858614,0.1640583,0.000399329],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06723834,0.0003037503,0.8044707,0.074307,0.0005646449,0.001515551,0.00002102939,0.0004788029,0.05110022],"genre_scores_gemma":[0.4041516,0.00007346665,0.5605918,0.004915641,0.000383222,0.00009158468,0.000001511086,0.00007972362,0.02971136],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3369133,"threshold_uncertainty_score":0.9999714,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02368925168919626,"score_gpt":0.2887845421871283,"score_spread":0.2650952904979321,"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."}}