{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":18,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":18,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"2768db9c4c78","filters":{"venue":"Journal of Mathematical Logic"}},"results":[{"id":"W2964076955","doi":"10.1142/s0219061310000936","title":"A DICHOTOMY FOR THE NUMBER OF ULTRAPOWERS","year":2010,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":54,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Cardinal number (linguistics); Cardinality (data modeling); Mathematics; Metric (unit); Property (philosophy); Combinatorics; Discrete mathematics; Computer science; Epistemology; Philosophy; Linguistics","authors":[{"name":"Ilijas Farah","is_ca":true},{"name":"Saharon Shelah","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06397650777725285,"gpt":0.4211088955092033,"spread":0.3571323877319505,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003287956,0.0005615187,0.0009507586,0.001955821,0.002194772,0.003757414,0.00129443,0.001271766,0.006771223],"category_scores_gemma":[0.008369559,0.0005903544,0.001348428,0.0009391319,0.005872987,0.009312326,0.005067912,0.003090587,0.0004394167],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00154088,"about_ca_system_score_gemma":0.0005476035,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001905199,"about_ca_topic_score_gemma":0.0001379075,"domain_scores_codex":[0.996209,0.0009195436,0.0002647134,0.001042925,0.0009614949,0.0006023268],"domain_scores_gemma":[0.9887418,0.006681228,0.001169744,0.001046213,0.0008375124,0.00152352],"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.0001873424,0.00008196406,0.004468072,0.00009633984,0.0000329991,0.0001805614,0.0004298761,0.001052133,0.004605372,0.9826549,0.0009805429,0.00523],"study_design_scores_gemma":[0.00006142561,0.000174415,0.002651318,0.00004697285,0.00004220316,0.0007113766,0.0004010673,0.01562847,0.004856349,0.9725013,0.002884585,0.0000405199],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.840362,0.0007270254,0.123229,0.003109855,0.0001472214,0.0000493502,0.0003791561,0.0001678637,0.03182846],"genre_scores_gemma":[0.9869615,0.0001243069,0.009917928,0.0002173624,0.0001704805,0.00007903246,0.0001761494,0.00002014739,0.002333074],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006771223,"threshold_uncertainty_score":0.02265203,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1970133246","doi":"10.1142/s0219061306000566","title":"SHEAF COHOMOLOGY IN o-MINIMAL STRUCTURES","year":2006,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":29,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Sheaf cohomology; Mathematics; Sheaf; Cohomology; Pure mathematics; Čech cohomology; De Rham cohomology; Discrete mathematics; Group cohomology; Equivariant cohomology","authors":[{"name":"Mário J. Edmundo","is_ca":false},{"name":"G. O. Jones","is_ca":true},{"name":"Nicholas J. Peatfield","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03421159640846577,"gpt":0.3329302607684784,"spread":0.2987186643600127,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005225395,0.0004636034,0.0004183314,0.001088751,0.001674122,0.001753054,0.0005659997,0.0006695215,0.004839839],"category_scores_gemma":[0.001698719,0.0002616197,0.000485847,0.000608211,0.003310869,0.005950623,0.003695186,0.00149416,0.0003842208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006841827,"about_ca_system_score_gemma":0.0003700689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007586585,"about_ca_topic_score_gemma":0.0006043115,"domain_scores_codex":[0.9996535,0.00004848357,0.00001557629,0.00006471627,0.00009885847,0.0001188666],"domain_scores_gemma":[0.9990329,0.0004071401,0.0001151345,0.00009184318,0.0001557885,0.0001972766],"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.00002167771,0.00001514638,0.0006932002,0.00005069101,0.000005882008,0.0001294267,0.0003390559,0.0002663863,0.001915302,0.9934301,0.0004307385,0.002702433],"study_design_scores_gemma":[0.00001322816,0.00003718636,0.001035708,0.00002347031,0.0000120413,0.0001897287,0.0003665066,0.001868644,0.00219357,0.9905628,0.003684703,0.0000123183],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7415501,0.00145083,0.08977257,0.003230913,0.0002483783,0.00005609472,0.0002095846,0.0002110743,0.1632704],"genre_scores_gemma":[0.9889967,0.0003155507,0.005205255,0.0001500833,0.0001063697,0.0000202405,0.00008301432,0.00001678179,0.00510601],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004839839,"threshold_uncertainty_score":0.01619089,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2090427535","doi":"10.1142/s0219061306000530","title":"CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION","year":2006,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Korea Science and Engineering Foundation; National Science Foundation","keywords":"Group (periodic table); Mathematics; Combinatorics; Pure mathematics; Algebra over a field; Chemistry","authors":[{"name":"Tristram de Piro","is_ca":false},{"name":"Byunghan Kim","is_ca":false},{"name":"Jessica Millar","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04136328073075039,"gpt":0.2622433661207339,"spread":0.2208800853899835,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004129687,0.0006092846,0.000572354,0.001068893,0.001461764,0.001942615,0.000841268,0.0008420704,0.01269725],"category_scores_gemma":[0.0007962082,0.0003320343,0.000682566,0.0005695337,0.002823602,0.002712538,0.002168526,0.00167921,0.002737566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005501736,"about_ca_system_score_gemma":0.0006063227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003056376,"about_ca_topic_score_gemma":0.0003522562,"domain_scores_codex":[0.9994356,0.0001081604,0.00002457978,0.0001602609,0.0001443354,0.0001271469],"domain_scores_gemma":[0.9997253,0.00003662096,0.00003399389,0.00005771102,0.00005790795,0.00008850217],"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.00005643575,0.00003783667,0.0001377909,0.00003705689,0.000006471419,0.0002807553,0.0003162984,0.0004512943,0.004730189,0.9827922,0.001923906,0.009229731],"study_design_scores_gemma":[0.00006841333,0.00008116175,0.0001902967,0.0000157891,0.00001268852,0.0005026867,0.0003200854,0.004312276,0.008205325,0.9754108,0.01083028,0.00005028746],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.411473,0.0002650125,0.342274,0.002090864,0.001508106,0.0003414681,0.0003872761,0.002028256,0.2396321],"genre_scores_gemma":[0.8939512,0.0001731273,0.07466087,0.0005938553,0.0002801188,0.0001916161,0.0003150689,0.0005481127,0.02928593],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01269725,"threshold_uncertainty_score":0.04247653,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2145771949","doi":"10.1142/s021906130300025x","title":"BOUNDING BY CANONICAL FUNCTIONS, WITH CH","year":2003,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Institut d'Estudis Catalans; Israel Science Foundation","keywords":"Mathematics; Countable set; Bounding overwatch; Bounded function; Class (philosophy); Function (biology); Discrete mathematics; Property (philosophy); Combinatorics; Pure mathematics; Artificial intelligence; Computer science; Mathematical analysis","authors":[{"name":"Paul Larson","is_ca":false},{"name":"Saharon Shelah","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03787400244132558,"gpt":0.318535244344913,"spread":0.2806612419035874,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002182617,0.001144669,0.001014307,0.002045251,0.0026116,0.004279842,0.001562046,0.00135265,0.008693548],"category_scores_gemma":[0.007889077,0.0006320878,0.001932799,0.001259718,0.005301033,0.01004584,0.006518351,0.003884063,0.002015787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001519566,"about_ca_system_score_gemma":0.001088064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001233073,"about_ca_topic_score_gemma":0.00107453,"domain_scores_codex":[0.9972083,0.0005719747,0.0001546519,0.0008681963,0.0007518164,0.0004450467],"domain_scores_gemma":[0.9952088,0.001676326,0.0003660789,0.001413005,0.0007583632,0.0005773905],"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.00002741731,0.00001916214,0.0004046731,0.00003432135,0.000008099898,0.00008543444,0.0002258751,0.001283557,0.0007681364,0.9910967,0.0007966575,0.005250008],"study_design_scores_gemma":[0.00001530097,0.00006406161,0.0005099438,0.0000309199,0.00002640083,0.000411144,0.0001605494,0.02957412,0.003961985,0.9525002,0.01271684,0.00002855002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08697794,0.0007448726,0.7935022,0.001187254,0.0003219463,0.0001011333,0.0002793545,0.001035852,0.1158496],"genre_scores_gemma":[0.8590578,0.000702863,0.09604049,0.0003291155,0.000311831,0.0002955199,0.0003669249,0.0003507137,0.04254464],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008693548,"threshold_uncertainty_score":0.02908283,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2166267762","doi":"10.1142/s0219061314500093","title":"Model theory of fields with free operators in characteristic zero","year":2014,"lang":"en","type":"preprint","venue":"Journal of Mathematical Logic","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Zero (linguistics); Mathematics; Simple (philosophy); Free field; Field (mathematics); Differential (mechanical device); Differential algebra; Finite field; Pure mathematics; Discrete mathematics; Algebra over a field; Physics; Quantum mechanics","authors":[{"name":"Rahim Moosa","is_ca":true},{"name":"Thomas Scanlon","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07214245178070482,"gpt":0.3258903623101435,"spread":0.2537479105294387,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007681209,0.000603769,0.0007477115,0.001505384,0.00112033,0.002978595,0.0009085386,0.0008198914,0.003224068],"category_scores_gemma":[0.001500132,0.0003114972,0.0008846325,0.0008999171,0.003106169,0.006179868,0.001843237,0.001633095,0.0003385894],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002173464,"about_ca_system_score_gemma":0.001196926,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001368745,"about_ca_topic_score_gemma":0.0009552808,"domain_scores_codex":[0.9995071,0.0001070611,0.00002282321,0.00009428774,0.0001828893,0.00008578932],"domain_scores_gemma":[0.9994217,0.0002306754,0.00009390504,0.000080667,0.00007211261,0.0001009433],"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.000009747978,0.000007574868,0.0001493402,0.00001381127,0.000003693538,0.0000267307,0.0001191487,0.0006313414,0.0003387059,0.9979285,0.0001922459,0.0005791174],"study_design_scores_gemma":[0.00001533576,0.00001527661,0.000171461,0.000008116474,0.000005251185,0.0000708981,0.000068568,0.004702357,0.000273053,0.9935191,0.00114455,0.000005886312],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7048042,0.001669013,0.2010862,0.002946865,0.0002571289,0.00007654509,0.0005216486,0.0003697473,0.08826879],"genre_scores_gemma":[0.9775398,0.0003726583,0.01064473,0.000172169,0.0001655086,0.00004576884,0.0001763437,0.00002498098,0.01085817],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003224068,"threshold_uncertainty_score":0.01576972,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2895339537","doi":"10.1142/s0219061321500264","title":"Maximal almost disjoint families, determinacy, and forcing","year":2021,"lang":"en","type":"preprint","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"Danmarks Frie Forskningsfond","keywords":"Determinacy; Mathematics; Disjoint sets; Ideal (ethics); Iterated function; Combinatorics; Discrete mathematics; Pure mathematics; Mathematical analysis","authors":[{"name":"Karen Bakke Haga","is_ca":false},{"name":"David Schrittesser","is_ca":true},{"name":"Asger Törnquist","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06067959421402735,"gpt":0.3381314757060715,"spread":0.2774518814920442,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001738318,0.0004108464,0.0006397104,0.001826156,0.003236308,0.002064297,0.0007553661,0.000745377,0.003938857],"category_scores_gemma":[0.0039192,0.0004520887,0.001210452,0.001135021,0.005144307,0.005904354,0.003440343,0.001508959,0.0003731675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002958316,"about_ca_system_score_gemma":0.0008799705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001857328,"about_ca_topic_score_gemma":0.001305819,"domain_scores_codex":[0.9985837,0.0003375176,0.00008019116,0.0002950728,0.0004318414,0.0002716156],"domain_scores_gemma":[0.997491,0.001188157,0.000392539,0.0003380043,0.0002768336,0.0003134854],"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.00002481908,0.00001036428,0.0006179743,0.00002476928,0.000008142066,0.0000870624,0.0003967642,0.0008299824,0.0006163621,0.9944149,0.0003351486,0.002633689],"study_design_scores_gemma":[0.00001010219,0.00001561014,0.00063751,0.00002369934,0.00001351208,0.0002274853,0.0002011506,0.004023374,0.001087955,0.9879606,0.00578162,0.00001717309],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6137565,0.003028366,0.258786,0.002829569,0.0001652928,0.00005008302,0.0004539254,0.0004363252,0.120494],"genre_scores_gemma":[0.9808918,0.0003411637,0.01242846,0.0001340067,0.00007576728,0.00003851152,0.000154586,0.0000398464,0.005895863],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003938857,"threshold_uncertainty_score":0.02146417,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2032706742","doi":"10.1142/s0219061308000695","title":"GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS","year":2008,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; Israel Science Foundation","keywords":"Mathematics; Algebraically closed field; Pure mathematics; Valuation ring; Valuation (finance); Algebraic number; Class (philosophy); Model theory; Algebra over a field; Field (mathematics); Ordered field; Point (geometry); Differential (mechanical device); Discrete mathematics; Mathematical analysis; Computer science; Artificial intelligence","authors":[{"name":"Deirdre Haskell","is_ca":true},{"name":"Yoav Yaffe","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06899874187594827,"gpt":0.3360748217710604,"spread":0.2670760798951121,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003235142,0.0005773596,0.0007596116,0.001535501,0.001941611,0.003794436,0.0009430228,0.001418863,0.004313203],"category_scores_gemma":[0.004712589,0.0004455334,0.001199303,0.001319218,0.009394742,0.009903243,0.004074224,0.003445131,0.0004121822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002603118,"about_ca_system_score_gemma":0.001335541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001512728,"about_ca_topic_score_gemma":0.001082381,"domain_scores_codex":[0.9982854,0.0006816562,0.0001040071,0.0002414166,0.0004065779,0.0002810675],"domain_scores_gemma":[0.9973211,0.001717116,0.0002367166,0.0002720813,0.0002386974,0.0002143097],"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.000004536486,0.000009151333,0.0001067129,0.00001171515,0.000003071719,0.00004317435,0.0001679796,0.0005464384,0.0001385954,0.9982623,0.0001081733,0.0005980404],"study_design_scores_gemma":[0.00001450227,0.0000102476,0.00007709926,0.000008729766,0.000002381229,0.00004074,0.0001153563,0.002766016,0.0001670968,0.9957834,0.001009718,0.000004765399],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.736102,0.002603077,0.1765422,0.006273769,0.0002978165,0.0001234683,0.0003510992,0.0002310759,0.07747546],"genre_scores_gemma":[0.9726176,0.0008045734,0.01800204,0.0003105853,0.0002341692,0.0001025855,0.0002138493,0.00003207578,0.007682567],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004313203,"threshold_uncertainty_score":0.01888698,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3158893841","doi":"10.1142/s0219061322500246","title":"Compactness and guessing principles in the Radin extensions","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Israel Science Foundation","keywords":"Compact space; Mathematics; Extension (predicate logic); Forcing (mathematics); Measure (data warehouse); Diagonal; Sequence (biology); Pure mathematics; Discrete mathematics; Combinatorics; Mathematical analysis; Computer science; Geometry","authors":[{"name":"Omer Ben-Neria","is_ca":false},{"name":"Jing Zhang","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1475141227128708,"gpt":0.3728136272401018,"spread":0.2252995045272309,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003448101,0.0004701418,0.0006886084,0.001261297,0.001422321,0.00185919,0.001107698,0.001017786,0.003972454],"category_scores_gemma":[0.009499702,0.0005704563,0.001403049,0.000586402,0.005855246,0.007715445,0.005023464,0.002588172,0.0005560942],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001383383,"about_ca_system_score_gemma":0.0005748889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005316683,"about_ca_topic_score_gemma":0.000684501,"domain_scores_codex":[0.9981934,0.0006142466,0.0001358929,0.0004644968,0.0003540779,0.0002378121],"domain_scores_gemma":[0.9936366,0.003471158,0.0007104414,0.001280639,0.0005758083,0.0003254027],"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.00003599526,0.00001711025,0.0005362903,0.00004309586,0.000008488077,0.0001286866,0.0004778359,0.002684209,0.001196462,0.9911033,0.0001775502,0.003591037],"study_design_scores_gemma":[0.00002040676,0.00006322591,0.0006051998,0.00004345628,0.0000139286,0.0001838429,0.000184651,0.01877776,0.001850757,0.9751943,0.003030257,0.0000322194],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5693242,0.0008635345,0.3623587,0.00185752,0.00008995897,0.0000904765,0.0002268313,0.0004194209,0.06476943],"genre_scores_gemma":[0.9464248,0.0001941545,0.04514856,0.0002003111,0.0000621358,0.00008465349,0.0001266705,0.00006881185,0.007689746],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003972454,"threshold_uncertainty_score":0.0182355,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4308731563","doi":"10.1142/s0219061322500313","title":"The degree of nonminimality is at most 2","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Differential Equations and Dynamical Systems","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Extension (predicate logic); Rank (graph theory); Zero (linguistics); Degree (music); Field (mathematics); Combinatorics; Type (biology); Discrete mathematics; Pure mathematics; Physics; Computer science","authors":[{"name":"James Freitag","is_ca":false},{"name":"Rémi Jaoui","is_ca":false},{"name":"Rahim Moosa","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1340745167491291,"gpt":0.3405369963680814,"spread":0.2064624796189523,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00232047,0.0006905955,0.00105305,0.001057558,0.002563149,0.004260472,0.001614509,0.001077882,0.01265567],"category_scores_gemma":[0.006320614,0.0006431162,0.000899467,0.0007129992,0.004542687,0.01048814,0.004520275,0.002953066,0.001618937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001644982,"about_ca_system_score_gemma":0.001098573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000280635,"about_ca_topic_score_gemma":0.0003979658,"domain_scores_codex":[0.9969636,0.0004921689,0.0002904262,0.000879802,0.0006797562,0.0006941978],"domain_scores_gemma":[0.9933333,0.002889149,0.0007881357,0.001292754,0.0009594543,0.0007372084],"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.0004485329,0.00008992192,0.004258483,0.0002483506,0.00004312119,0.0004927369,0.001105792,0.001035172,0.006302399,0.9619966,0.001756778,0.02222207],"study_design_scores_gemma":[0.0000459644,0.0001376108,0.002109739,0.00004956958,0.00003940019,0.001484843,0.0004105923,0.002367967,0.007351356,0.9613056,0.02462059,0.00007681361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7224291,0.00142423,0.09960357,0.007168966,0.0007828229,0.0001534819,0.00107542,0.000999418,0.1663631],"genre_scores_gemma":[0.9823664,0.0002059946,0.005704471,0.0001910555,0.000239928,0.00004223743,0.000189638,0.00006492685,0.01099515],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01265567,"threshold_uncertainty_score":0.04233748,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4283015706","doi":"10.1142/s0219061322500222","title":"Every Δ20 degree is a strong degree of categoricity","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Mathematics; Isomorphism (crystallography); Categorical variable; Combinatorics; Discrete mathematics; Statistics","authors":[{"name":"Barbara F. Csima","is_ca":true},{"name":"Keng Meng Ng","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0987494393646112,"gpt":0.2881727031815359,"spread":0.1894232638169247,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001437862,0.0004769321,0.0004982473,0.001357019,0.001431519,0.002286364,0.0007227155,0.0007807625,0.006294082],"category_scores_gemma":[0.004569557,0.000427777,0.0009318668,0.0008768143,0.004342361,0.005953789,0.004095045,0.001491157,0.0008502841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001195891,"about_ca_system_score_gemma":0.0006573297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005121166,"about_ca_topic_score_gemma":0.0006780725,"domain_scores_codex":[0.9982321,0.0002734888,0.00015569,0.0004725555,0.0004635089,0.0004028111],"domain_scores_gemma":[0.9928864,0.002487736,0.0006650058,0.001046341,0.001557133,0.001357494],"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.0001579274,0.00005108873,0.004700443,0.0001455523,0.00002815797,0.000206906,0.0008455579,0.001414956,0.008873967,0.9717118,0.001391866,0.01047185],"study_design_scores_gemma":[0.00005237702,0.000164629,0.005175526,0.00003786676,0.00004009346,0.00070699,0.0007647589,0.00319622,0.006025891,0.9530296,0.03074631,0.00005969152],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7253863,0.000800758,0.1525923,0.004188883,0.0003071645,0.0001787549,0.001043072,0.0006095288,0.1148933],"genre_scores_gemma":[0.9744633,0.0002150947,0.01343254,0.0003430882,0.0001196737,0.00008805456,0.0003470944,0.00005152828,0.01093957],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006294082,"threshold_uncertainty_score":0.02105576,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1499331102","doi":"10.1142/s021906131850006x","title":"Omitting types in logic of metric structures","year":2018,"lang":"en","type":"preprint","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Countable set; Mathematics; Set (abstract data type); Set theory; Type (biology); Metric (unit); Discrete mathematics; Infinite set; Computer science","authors":[{"name":"Ilijas Farah","is_ca":true},{"name":"Menachem Magidor","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08096050138831734,"gpt":0.3796880900861431,"spread":0.2987275886978258,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005217044,0.001049782,0.001472388,0.002537311,0.003361629,0.005177168,0.002279367,0.001693709,0.001901521],"category_scores_gemma":[0.01040673,0.00102695,0.002043184,0.003418873,0.009207826,0.01529312,0.005684153,0.006032696,0.0003856718],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004162519,"about_ca_system_score_gemma":0.001560456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001241187,"about_ca_topic_score_gemma":0.0009122494,"domain_scores_codex":[0.9928367,0.003075129,0.0005174526,0.000967772,0.001979588,0.0006233957],"domain_scores_gemma":[0.9927726,0.003873791,0.0008471949,0.001158982,0.0008871484,0.0004602645],"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.00002872898,0.000009355977,0.0004667786,0.00007784497,0.00001283813,0.00009334717,0.000471794,0.0008240044,0.000353993,0.993471,0.0004271315,0.003763104],"study_design_scores_gemma":[0.00001076624,0.00003304674,0.0002177819,0.00003884799,0.00002262231,0.0001618097,0.000137344,0.002674028,0.0005510876,0.990079,0.006060924,0.00001275853],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.234561,0.01635326,0.6732817,0.01032721,0.00134645,0.00009126682,0.0005685629,0.0006844427,0.0627861],"genre_scores_gemma":[0.9147515,0.003323798,0.07233539,0.001169702,0.0008979555,0.0001398337,0.0004389278,0.00022597,0.006716906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005217044,"threshold_uncertainty_score":0.03020132,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":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","authors":[{"name":"Grigor Sargsyan","is_ca":false},{"name":"Nam Trang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03277469884826001,"gpt":0.231591965860373,"spread":0.198817267012113,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002230726,0.0006756484,0.001159743,0.0009989638,0.001706146,0.003027353,0.001487389,0.001203254,0.005320198],"category_scores_gemma":[0.01185019,0.0007282014,0.001721077,0.0006681561,0.00686794,0.008858949,0.003834483,0.003518435,0.0007029655],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001489944,"about_ca_system_score_gemma":0.0008596437,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001485688,"about_ca_topic_score_gemma":0.001362497,"domain_scores_codex":[0.997604,0.0004846348,0.0001601726,0.000764749,0.0006031133,0.0003834076],"domain_scores_gemma":[0.9884597,0.00573863,0.00124625,0.002824994,0.0009462995,0.0007841198],"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.00008662396,0.00002531175,0.001659912,0.00004671029,0.00002207356,0.0002742019,0.001196522,0.002653409,0.001249557,0.9890627,0.000453055,0.003269748],"study_design_scores_gemma":[0.00003081293,0.00003820785,0.0003629544,0.00001743188,0.00002808081,0.0002136499,0.0002893421,0.01427026,0.001626002,0.9803094,0.002792508,0.00002141816],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5792232,0.0004930261,0.356261,0.001925679,0.00009168657,0.00009411803,0.000386897,0.001062338,0.06046198],"genre_scores_gemma":[0.9782797,0.00009672676,0.01591929,0.0001639338,0.00005878884,0.00005023778,0.0001553781,0.0001437773,0.005132211],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005320198,"threshold_uncertainty_score":0.01779783,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4283028983","doi":"10.1142/s0219061322500179","title":"Decomposing Aronszajn lines","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Indecomposable module; Combinatorics; Order (exchange); Axiom; Line (geometry); Class (philosophy); Artificial intelligence; Geometry; Computer science","authors":[{"name":"Keegan Dasilva Barbosa","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05948850429580416,"gpt":0.3428607301696931,"spread":0.2833722258738889,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003958606,0.0004658192,0.000370751,0.001392565,0.0009707883,0.001988415,0.0005950848,0.0003671513,0.007711525],"category_scores_gemma":[0.0008507991,0.0003209356,0.0005537571,0.0007330516,0.00197557,0.005459262,0.001501573,0.001061421,0.001078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008277809,"about_ca_system_score_gemma":0.0003968931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001208142,"about_ca_topic_score_gemma":0.001846674,"domain_scores_codex":[0.9992864,0.00007673273,0.00004161912,0.000199324,0.0002361883,0.0001597936],"domain_scores_gemma":[0.9991024,0.0001338762,0.0001271856,0.0002300201,0.0002607757,0.0001456849],"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.0000956912,0.0000621203,0.001343922,0.00005646261,0.00001253703,0.0002845023,0.000957065,0.002068593,0.01535532,0.9638271,0.00043484,0.01550181],"study_design_scores_gemma":[0.00003475888,0.0001387182,0.001778102,0.00003990255,0.00003771526,0.0005302813,0.001025879,0.01955133,0.01443887,0.9379825,0.02439876,0.00004319739],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7332863,0.0002541721,0.198266,0.0002803015,0.00009446071,0.00007668952,0.0002724789,0.0006622528,0.06680714],"genre_scores_gemma":[0.9411079,0.0001756618,0.03588235,0.0001204487,0.0000700196,0.00004876669,0.0004416724,0.0002408383,0.02191222],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007711525,"threshold_uncertainty_score":0.02579767,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4416529092","doi":"10.1142/s0219061325500254","title":"Generic dichotomy for homomorphisms for E0ℕ","year":2025,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Homomorphism; Equivalence relation; Equivalence (formal languages); Borel equivalence relation; Prime (order theory); Projection (relational algebra); Relation (database)","authors":[{"name":"Assaf Shani","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07588066086222772,"gpt":0.3851589531945514,"spread":0.3092782923323237,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002304588,0.0005043824,0.0008374207,0.002232845,0.003419233,0.004105252,0.0008989791,0.001647211,0.01073468],"category_scores_gemma":[0.004588738,0.0004799927,0.001215031,0.001275213,0.006187138,0.01138115,0.004909812,0.003973842,0.001126631],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003504296,"about_ca_system_score_gemma":0.0006300387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000683292,"about_ca_topic_score_gemma":0.0005089248,"domain_scores_codex":[0.9973085,0.0005156738,0.0001378859,0.0008452599,0.0006868006,0.000505817],"domain_scores_gemma":[0.9977246,0.001138533,0.0002032663,0.0002810913,0.0003506719,0.0003019071],"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.0000138594,0.000007968762,0.0001274195,0.00001914991,0.000004478681,0.00003685752,0.0001878295,0.0000872878,0.000198407,0.9975591,0.0004350697,0.001322547],"study_design_scores_gemma":[0.00001421571,0.000009750916,0.0002039933,0.00001469686,0.000007960736,0.00007770288,0.0001236572,0.0009154109,0.0003690665,0.9935528,0.004702054,0.000008799228],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.368459,0.002601197,0.2262854,0.01119788,0.0006509918,0.000155239,0.0008762646,0.001096148,0.3886778],"genre_scores_gemma":[0.9730099,0.0004581505,0.01254678,0.001259433,0.0004026672,0.00009665127,0.0004639429,0.000099991,0.01166253],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01073468,"threshold_uncertainty_score":0.03591108,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4221147696","doi":"10.1142/s0219061324500119","title":"Enriching a predicate and tame expansions of the integers","year":2023,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; Fields Institute for Research in Mathematical Sciences","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Unary operation; Countable set; NIP; Combinatorics; Predicate (mathematical logic); Omega; Closure (psychology); Discrete mathematics; Simple (philosophy); Physics","authors":[{"name":"Gabriel Conant","is_ca":false},{"name":"Christian d’Elbée","is_ca":true},{"name":"Yatir Halevi","is_ca":false},{"name":"Léo Jimenez","is_ca":true},{"name":"Silvain Rideau-Kikuchi","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05733799660791276,"gpt":0.3418844428577605,"spread":0.2845464462498477,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001276487,0.0004415883,0.0005034001,0.001269628,0.001270324,0.001666702,0.0007041724,0.0005306117,0.003015639],"category_scores_gemma":[0.003189897,0.0004750777,0.001011668,0.0007515191,0.004095234,0.005909103,0.003699942,0.001661646,0.0003403565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001447409,"about_ca_system_score_gemma":0.0004911349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007135509,"about_ca_topic_score_gemma":0.0008539953,"domain_scores_codex":[0.9987378,0.0002831383,0.00008107113,0.00032439,0.0003390393,0.0002346182],"domain_scores_gemma":[0.9973579,0.001295141,0.0003000707,0.000558177,0.0002890964,0.0001994574],"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.0001094258,0.00003156401,0.0009004699,0.00006670385,0.00001612081,0.0003496824,0.001420569,0.001715241,0.007732206,0.9779572,0.0003037023,0.009397126],"study_design_scores_gemma":[0.00006039067,0.0002404972,0.001822569,0.00005000998,0.0001058479,0.0006081045,0.0008705916,0.02186755,0.02793553,0.9280632,0.01831989,0.00005578341],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6730832,0.0003841703,0.2758846,0.001106244,0.00007630646,0.000084581,0.0002761447,0.0009374683,0.0481672],"genre_scores_gemma":[0.9626109,0.0001480288,0.02988544,0.000145022,0.00006264216,0.00005473159,0.0001447174,0.00007994743,0.006868586],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003015639,"threshold_uncertainty_score":0.01050174,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4417070239","doi":"10.1142/s0219061325500266","title":"Almost real closed fields with real analytic structure","year":2025,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Real line; Real number; Residue field; Regular polygon; Ordered field; Global analytic function; Real analysis; Field (mathematics)","authors":[{"name":"Kien Huu Nguyen","is_ca":false},{"name":"Mathias Stout","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02474686585441415,"gpt":0.3392575080594679,"spread":0.3145106422050537,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008290191,0.0004268804,0.0003457464,0.00113929,0.0006825715,0.001987476,0.0003852796,0.0004328937,0.003457852],"category_scores_gemma":[0.001968632,0.0002284461,0.000414701,0.000444727,0.002790265,0.004784895,0.001775623,0.0009376371,0.0004246182],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008960735,"about_ca_system_score_gemma":0.000451574,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003404063,"about_ca_topic_score_gemma":0.000196561,"domain_scores_codex":[0.9994247,0.000129011,0.00003745477,0.0001446246,0.0001676106,0.00009664147],"domain_scores_gemma":[0.9988789,0.0003455325,0.000231693,0.0001291492,0.0002218372,0.0001928706],"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.00003438906,0.0000123339,0.0003093948,0.00003410209,0.00000551378,0.00009440453,0.0002017679,0.0003255374,0.00174911,0.9938166,0.0002594785,0.003157325],"study_design_scores_gemma":[0.00003275767,0.00005939556,0.0005847909,0.00002937093,0.00001205812,0.0003457396,0.0002898287,0.002742561,0.0027876,0.9835962,0.009504481,0.00001503165],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7695916,0.002094689,0.1192555,0.002547808,0.0002261929,0.00005496703,0.0003360032,0.000238967,0.1056543],"genre_scores_gemma":[0.9796809,0.0003033782,0.01044644,0.0001345296,0.0001058576,0.00002326666,0.0001620454,0.00002597461,0.009117726],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003457852,"threshold_uncertainty_score":0.01156765,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4403714180","doi":"10.1142/s0219061324500326","title":"Higher dimensional chain conditions","year":2024,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Chain (unit); Mathematics; Physics","authors":[{"name":"Stevo Todorčević","is_ca":true},{"name":"Jing Zhang","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02674175561522363,"gpt":0.2802960600473623,"spread":0.2535543044321387,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00145398,0.0004645572,0.0005865471,0.001332795,0.002049875,0.002397063,0.0008776309,0.0009453276,0.01627374],"category_scores_gemma":[0.005187311,0.0003975501,0.001024038,0.0008601328,0.003248339,0.008145832,0.004738703,0.001945411,0.001239984],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001666303,"about_ca_system_score_gemma":0.0007630606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001035604,"about_ca_topic_score_gemma":0.001071866,"domain_scores_codex":[0.9986576,0.0002454595,0.0001008864,0.0003196075,0.0003371788,0.0003393128],"domain_scores_gemma":[0.9954015,0.001810158,0.0006070146,0.00060584,0.000891824,0.0006835258],"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.00002800565,0.00002091805,0.0008268443,0.00003712351,0.000006371741,0.0001125867,0.0002176097,0.0009244228,0.001289946,0.9942095,0.0003312442,0.001995463],"study_design_scores_gemma":[0.00002425224,0.00007943635,0.0007133118,0.0000342248,0.00001957392,0.0002749511,0.000374898,0.01594308,0.004414446,0.9721254,0.005971214,0.00002521586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.51521,0.001296658,0.3294042,0.001762379,0.000233755,0.0001914216,0.0006848769,0.0003596889,0.150857],"genre_scores_gemma":[0.969724,0.0003328377,0.0199199,0.0002451625,0.0001425362,0.0001137822,0.0003148107,0.00004905443,0.009157882],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01627374,"threshold_uncertainty_score":0.05444109,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4383875884","doi":"10.1142/s0219061324500028","title":"Degrees of categoricity and treeable degrees","year":2023,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Mathematics; Corollary; Combinatorics; Pure mathematics; Physics","authors":[{"name":"Barbara F. Csima","is_ca":true},{"name":"Dino Rossegger","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04522237817459328,"gpt":0.2756657799506974,"spread":0.2304434017761041,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001374322,0.0003606261,0.0004175073,0.00156718,0.001124022,0.002414033,0.0007000263,0.0006758898,0.006290701],"category_scores_gemma":[0.006246422,0.000382697,0.0009702214,0.001027681,0.004172261,0.007533859,0.003366971,0.002364933,0.0005841634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001156216,"about_ca_system_score_gemma":0.0005305535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005745668,"about_ca_topic_score_gemma":0.0008574578,"domain_scores_codex":[0.9979234,0.0004379328,0.0001643643,0.0005054406,0.0005860468,0.0003827992],"domain_scores_gemma":[0.9912684,0.004803047,0.0007071011,0.001150034,0.001182692,0.0008885997],"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.00006248851,0.00001316211,0.001646593,0.00008433498,0.00001230655,0.00006508419,0.0007994471,0.001774437,0.002394234,0.9865687,0.0005058427,0.006073463],"study_design_scores_gemma":[0.00002255713,0.00006653105,0.002032639,0.00003895145,0.00002638288,0.0001988206,0.0005062661,0.00426317,0.002864106,0.9777689,0.01217506,0.00003651857],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5513448,0.001520254,0.3658023,0.002544792,0.0002898307,0.0001397583,0.0008682704,0.0006243422,0.07686561],"genre_scores_gemma":[0.9786249,0.0002561336,0.01447045,0.0001789985,0.0001051712,0.00006823163,0.0002644313,0.00005795274,0.005973667],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006290701,"threshold_uncertainty_score":0.02104449,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}