{"id":"W3022128000","doi":"10.1093/qmath/haab020","title":"Defining Bicircular Matroids in Monadic Logic","year":2021,"lang":"en","type":"preprint","venue":"The Quarterly Journal of Mathematics","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Douglas College","funders":"Royal Society Te Apārangi","keywords":"Matroid; Class (philosophy); Conjecture; Graphic matroid; Frame (networking); Minor (academic); Computer science; Sentence; Order (exchange); Mathematics; Combinatorics; Discrete mathematics; Philosophy; Natural language processing; Artificial intelligence; Economics; Humanities","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":[],"consensus_categories":[],"category_scores_codex":[0.003798716,0.0003037252,0.0007518869,0.0004888813,0.00009108061,0.0004679084,0.003692228,0.0001821921,0.00001855099],"category_scores_gemma":[0.0002078463,0.0002073668,0.0003813452,0.00053677,0.0001358447,0.0003334856,0.0005410286,0.00195821,0.00002521306],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001449398,"about_ca_system_score_gemma":0.0004023146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006862448,"about_ca_topic_score_gemma":0.000008494593,"domain_scores_codex":[0.9965243,0.0005321586,0.001221123,0.0002847866,0.0009799569,0.0004576462],"domain_scores_gemma":[0.9962149,0.000808968,0.001107623,0.001386739,0.0003546965,0.0001270641],"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.00002579283,0.001052768,0.0002525611,0.001418337,0.0004939798,0.003167793,0.07963427,0.02031517,0.001401219,0.8437441,0.000190204,0.04830381],"study_design_scores_gemma":[0.0003448578,0.0003022722,0.0001185463,0.001031412,0.00003320956,0.001193095,0.004426074,0.02840289,0.0001604015,0.9637284,0.00002263401,0.0002361787],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2455906,0.007252558,0.7451863,0.0009474026,0.0004686142,0.0002296986,0.00000203375,0.00002938237,0.0002934027],"genre_scores_gemma":[0.7571756,0.0002321974,0.2423025,0.0001114636,0.00009266819,0.00001211564,0.00000125682,0.00003696496,0.00003521718],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5115851,"threshold_uncertainty_score":0.8507555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02945989302064086,"score_gpt":0.3064348639715244,"score_spread":0.2769749709508836,"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."}}