{"id":"W6979260094","doi":"","title":"Counting big Ramsey degrees of the homogeneous and universal $K_4$-free graph","year":2025,"lang":"en","type":"article","venue":"ArXiv.org","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Grantová Agentura České Republiky; European Commission","keywords":"Homogeneous; Graph; Binary number; Ramsey theory; Extension (predicate logic)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002241932,0.0001331085,0.0001992196,0.00008609732,0.0002759338,0.00001394616,0.0004531028,0.00009251956,0.00001528728],"category_scores_gemma":[0.0003893196,0.00008901847,0.000103727,0.0002778894,0.0003045162,0.0000375352,0.0004275476,0.0001565279,5.830271e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001353767,"about_ca_system_score_gemma":0.00003513514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005172792,"about_ca_topic_score_gemma":0.0001020505,"domain_scores_codex":[0.9992276,0.00006834085,0.0002102273,0.0001769786,0.0001394412,0.0001773662],"domain_scores_gemma":[0.9988007,0.0003606624,0.0001203359,0.0006209668,0.00007025425,0.00002710731],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003477339,0.0000404929,0.6038259,0.0001844694,0.0001909696,0.000007675326,0.001076098,0.00001911331,0.001602729,0.3894503,0.001306096,0.002261299],"study_design_scores_gemma":[0.00121031,0.00005253719,0.3638952,0.0002468179,0.0002880757,0.00002204078,0.001132981,0.0001269736,0.007627202,0.6224406,0.002652404,0.0003048406],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9934219,0.0004418902,0.0002551625,0.0001629298,0.000462639,0.0001386692,0.00001225553,0.00003893104,0.005065695],"genre_scores_gemma":[0.9983277,0.00005774308,0.0006328074,0.0001186385,0.00004868939,0.000002173298,5.086355e-7,0.00001324924,0.0007984873],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2399307,"threshold_uncertainty_score":0.3630068,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03087822856269562,"score_gpt":0.2542728648371103,"score_spread":0.2233946362744147,"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."}}