{"id":"W2798864197","doi":"10.1017/jsl.2020.64","title":"STATIONARY REFLECTION","year":2020,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Reflection (computer programming); Consistency (knowledge bases); Mathematics; Upper and lower bounds; Mathematical analysis; Computer science; Geometry","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.0002048784,0.00005737773,0.0001685708,0.00004146738,0.00004704002,0.000004144231,0.00009217617,0.00005243865,0.000210958],"category_scores_gemma":[0.0005067398,0.00004267829,0.00006567637,0.00009377699,0.00003929849,0.0001179475,0.00001338506,0.0002110307,0.00002607702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002131591,"about_ca_system_score_gemma":0.00003365561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.395571e-7,"about_ca_topic_score_gemma":1.823389e-7,"domain_scores_codex":[0.9994028,0.00007252333,0.0002745882,0.00005345652,0.0001116495,0.00008495174],"domain_scores_gemma":[0.9993452,0.0001905807,0.0002568745,0.00004966048,0.00008977183,0.00006791372],"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.0003398577,0.000131725,0.0004224246,0.00006078188,0.0001032801,0.0001756333,0.003509794,0.0001807655,0.006721604,0.9724798,0.01186195,0.004012378],"study_design_scores_gemma":[0.0003162289,0.0002619544,0.0002873928,0.000009277523,0.00002451366,0.0002123131,0.0004521459,0.00003577143,0.0006417678,0.9946135,0.0030935,0.00005165232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7370872,0.0009205848,0.208348,0.02160481,0.0009031823,0.0001886435,0.000004941313,0.0001052225,0.03083742],"genre_scores_gemma":[0.9804203,0.00006108559,0.0170208,0.001835451,0.0004459699,6.549345e-7,4.820205e-7,0.000008251955,0.0002069915],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2433331,"threshold_uncertainty_score":0.2309842,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.135059711700596,"score_gpt":0.3842291565934014,"score_spread":0.2491694448928054,"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."}}