{"id":"W4214595959","doi":"10.1007/s00453-022-00939-7","title":"Tree Automata and Pigeonhole Classes of Matroids: I","year":2022,"lang":"en","type":"article","venue":"Algorithmica","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Douglas College","funders":"Victoria University of Wellington; Royal Society Te Apārangi","keywords":"Matroid; Pigeonhole principle; Combinatorics; Bounded function; Mathematics; Graphic matroid; Discrete mathematics; Oriented matroid; Tree automaton; Tree (set theory); Class (philosophy); Matroid partitioning; Computer science; Automaton; Artificial intelligence","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.0002591686,0.0000915401,0.0001515938,0.00008778737,0.0001481476,0.00004278381,0.0007179924,0.00001941851,0.00006739401],"category_scores_gemma":[0.00001238601,0.00008925444,0.00004205924,0.0002653443,0.00005764589,0.0002053618,0.0008521844,0.0001042977,0.000008736037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001562294,"about_ca_system_score_gemma":0.00003849735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003283676,"about_ca_topic_score_gemma":0.000001068863,"domain_scores_codex":[0.9990602,0.00007143698,0.000174461,0.0002652217,0.0002445166,0.0001841493],"domain_scores_gemma":[0.9992727,0.0001039767,0.00008178595,0.0004720252,0.00001847721,0.00005100934],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009751219,0.0002273823,0.000292454,0.00003262701,0.00004839171,0.00005145192,0.0009835192,0.00002757186,0.006115373,0.1759135,0.01010242,0.8061956],"study_design_scores_gemma":[0.002292359,0.001134348,0.01463642,0.00003747288,0.00004411825,0.0005811417,0.001564702,0.7373075,0.02123609,0.1244247,0.09578851,0.000952591],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6070664,0.003845903,0.3578794,0.00723917,0.00191126,0.0006923131,0.0001820043,0.001716593,0.01946693],"genre_scores_gemma":[0.9516553,0.00002035425,0.04753561,0.0003316901,0.00004162319,0.00002671486,0.000005776701,0.00001188169,0.000371059],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.805243,"threshold_uncertainty_score":0.3639691,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005874396165787945,"score_gpt":0.2035612490172976,"score_spread":0.1976868528515096,"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."}}