{"id":"W4380876887","doi":"10.5817/cz.muni.eurocomb23-008","title":"Type-respecting amalgamation and big Ramsey degrees","year":2023,"lang":"en","type":"article","venue":"European Conference on Combinatorics Graph Theory and Applications","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Grantová Agentura České Republiky; European Commission","keywords":"Extension (predicate logic); Type (biology); Mathematics; Pure mathematics; Discrete mathematics; Combinatorics; Computer science; Programming language","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.00121334,0.0001535557,0.0001525608,0.0001640803,0.0005012919,0.00004978083,0.0001572445,0.00005335639,0.0000193052],"category_scores_gemma":[0.0003264305,0.0001433214,0.00002714396,0.0004887593,0.0002445663,0.00005979482,0.00009702083,0.0002022177,0.00006782289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008077906,"about_ca_system_score_gemma":0.00001391494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.919258e-7,"about_ca_topic_score_gemma":0.000001149773,"domain_scores_codex":[0.9987877,0.0004356808,0.0001995873,0.0002979662,0.00009136948,0.000187668],"domain_scores_gemma":[0.9982627,0.001150551,0.00011036,0.0003047757,0.00008762467,0.00008395851],"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.00002854482,0.00004422442,0.0001400768,0.00002346024,0.0000160699,0.000003687202,0.0004630254,0.000002399334,0.0002091881,0.9826761,0.0001040245,0.0162892],"study_design_scores_gemma":[0.0002603546,0.00006756658,0.001193688,0.00002680244,0.00002143128,0.000007242659,0.0008694733,0.00007019185,0.0001342735,0.9952794,0.001910072,0.0001595428],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8100855,0.0002630063,0.05729552,0.0005634849,0.0003807099,0.0008501395,0.00002934967,0.001048372,0.1294839],"genre_scores_gemma":[0.9977021,0.000374909,0.0002458706,0.0000706616,0.00005861345,0.00003730377,0.00001541411,0.00002883895,0.001466348],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1876165,"threshold_uncertainty_score":0.5844479,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08181845854216518,"score_gpt":0.3281711642077744,"score_spread":0.2463527056656092,"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."}}