{"id":"W2511027643","doi":"10.1142/s0219061316500070","title":"Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular","year":2016,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Science Foundation","keywords":"Transitive relation; Mathematics; Extension (predicate logic); Core model; Core (optical fiber); Combinatorics; Discrete mathematics; Computer science; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.001154953,0.0001410445,0.0005150879,0.00008889536,0.00003489111,0.00003282225,0.001115315,0.00008985452,0.00005141266],"category_scores_gemma":[0.0006405418,0.00006339829,0.0002323799,0.0002221707,0.0002999034,0.0003554276,0.0003883731,0.0001336546,0.00000263364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003067694,"about_ca_system_score_gemma":0.00007554396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001719141,"about_ca_topic_score_gemma":4.746099e-7,"domain_scores_codex":[0.9981018,0.0002079058,0.0007761241,0.0001741062,0.0005578692,0.00018218],"domain_scores_gemma":[0.997103,0.001292119,0.0006147256,0.0005880723,0.000306633,0.00009539435],"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.00004762009,0.0009048741,0.000358133,0.0005399793,0.0001723558,0.00001984619,0.002269389,0.0003468031,0.02426768,0.8815497,0.000873564,0.08865005],"study_design_scores_gemma":[0.000296656,0.0002059943,0.0009496918,0.0002690398,0.00002251264,0.0001950616,0.00002060492,0.009640574,0.01489734,0.9733735,0.00004323231,0.00008578505],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1671518,0.0002358961,0.8233799,0.008550362,0.00007090997,0.0001461332,0.000002889036,0.00001235657,0.000449805],"genre_scores_gemma":[0.8459701,0.00003529459,0.1537734,0.00012771,0.00003196123,0.000001224641,5.973729e-9,0.000006080198,0.00005428809],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6788183,"threshold_uncertainty_score":0.2585307,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03277469884826001,"score_gpt":0.231591965860373,"score_spread":0.198817267012113,"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."}}