{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001525698,0.0005916065,0.001003842,0.001362978,0.001536212,0.003888636,0.001564825,0.00126201,0.004923609],"category_scores_gemma":[0.0175849,0.0009826636,0.0007130026,0.001891316,0.002604797,0.005767275,0.002449875,0.001728902,0.0007022738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001084685,"about_ca_system_score_gemma":0.0004102523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003782246,"about_ca_topic_score_gemma":0.000377059,"domain_scores_codex":[0.9973773,0.0006473018,0.0001292621,0.0007594109,0.0007448153,0.0003419688],"domain_scores_gemma":[0.9769882,0.01195471,0.004411949,0.00351271,0.001835248,0.001297127],"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.0008596304,0.0002358602,0.02163089,0.0004937054,0.0002202458,0.0007913934,0.001328758,0.03113314,0.02222558,0.8523835,0.006127736,0.06256954],"study_design_scores_gemma":[0.00006844936,0.0002561267,0.009272647,0.00009230213,0.0001022573,0.004334665,0.000853919,0.1076648,0.01250267,0.8425778,0.02222312,0.00005124567],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8658608,0.000668168,0.1107375,0.001004064,0.00007366545,0.00002394947,0.0005170369,0.0002877764,0.02082704],"genre_scores_gemma":[0.9757109,0.0005723321,0.01577362,0.0002352121,0.0001299665,0.00006020485,0.0008752836,0.00009778765,0.006544773],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004923609,"threshold_uncertainty_score":0.01647115,"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."}}