{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":44,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":44,"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":"211aaa780ee2","filters":{"venue":"Annals of Mathematics and Artificial Intelligence"}},"results":[{"id":"W2105848344","doi":"10.1007/s10472-009-9120-2","title":"Efficient Boustrophedon Multi-Robot Coverage: an algorithmic approach","year":2008,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Robotic Path Planning Algorithms","field":"Computer Science","cited_by":200,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Robot; Computer science; Mobile robot; Set (abstract data type); Task (project management); Distributed computing; Cover (algebra); Greedy algorithm; Algorithm; Real-time computing; Artificial intelligence; Engineering","authors":[{"name":"Ioannis Rekleitis","is_ca":true},{"name":"Ai Peng New","is_ca":false},{"name":"Edward S. Rankin","is_ca":false},{"name":"Howie Choset","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1974527357382306,"gpt":0.3430350180906082,"spread":0.1455822823523776,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005834601,0.0002162431,0.0003486715,0.0001306129,0.0002255686,0.00008465778,0.0006850011,0.00008691321,0.000004876048],"category_scores_gemma":[0.0001253999,0.0001946401,0.00007732079,0.0003193998,0.0002317283,0.0001543379,0.0001794743,0.0001642984,0.00002498219],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000704037,"about_ca_system_score_gemma":0.00005600406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004061158,"about_ca_topic_score_gemma":5.212825e-7,"domain_scores_codex":[0.9981334,0.00005208508,0.0006009444,0.0004387715,0.0004011738,0.0003736209],"domain_scores_gemma":[0.9986404,0.0001290436,0.0002479009,0.0005968599,0.0002051246,0.000180735],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001981157,0.006588036,0.0001066934,0.000378678,0.0001042426,0.0001952218,0.02697745,0.5434901,0.007243304,0.1987854,0.0001453632,0.2159657],"study_design_scores_gemma":[0.0000293112,0.0001751718,0.0001189773,0.00004546029,0.000004769035,0.0001004869,0.0002716117,0.9767042,0.01603521,0.006290235,0.00000876352,0.0002157754],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08697973,0.0001658304,0.9121322,0.0001305029,0.0001251523,0.0001980478,0.000005793604,0.0000803721,0.0001823835],"genre_scores_gemma":[0.4227352,0.00007108655,0.5770406,0.0000624997,0.00004078527,0.00000755535,0.000001938452,0.00001084656,0.00002956157],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4332141,"threshold_uncertainty_score":0.7937194,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3160257224","doi":"10.1023/a:1016636024246","title":"Multi-robot collaboration for robust exploration","year":2001,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Robotics and Sensor-Based Localization","field":"Engineering","cited_by":162,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Dalhousie University; McGill University","funders":"","keywords":"Robot; Odometry; Computer science; Artificial intelligence; Computer vision; Modality (human–computer interaction); Mobile robot","authors":[{"name":"Ioannis Rekleitis","is_ca":true},{"name":"Gregory Dudek","is_ca":true},{"name":"Evangelos Milios","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2377829921572342,"gpt":0.344475517158919,"spread":0.1066925250016848,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001721522,0.00008901588,0.0001340141,0.00006148093,0.00005604347,0.00004965962,0.00004943989,0.0000515369,0.00001350337],"category_scores_gemma":[0.00009256314,0.00008797113,0.00002981254,0.0001612727,0.00003097617,0.0001449106,0.000006314623,0.00002922298,0.000005254656],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003983665,"about_ca_system_score_gemma":0.000007340121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002966272,"about_ca_topic_score_gemma":0.00002836929,"domain_scores_codex":[0.9993567,0.000005831677,0.0003455479,0.00009099858,0.0000848132,0.0001161356],"domain_scores_gemma":[0.9995078,0.0000730284,0.00006118579,0.000100942,0.0002189588,0.00003809204],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000084296,0.0001156797,0.000004434448,0.000161736,0.00001558483,7.102608e-7,0.001394674,0.9327926,0.01219774,0.03535825,0.0001647182,0.01778545],"study_design_scores_gemma":[0.00001703116,0.00004832018,0.00000316456,0.00003822318,0.00000703762,8.54661e-7,0.001234717,0.8973715,0.08368797,0.01735705,0.0001442731,0.00008987002],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03065161,0.0001683451,0.9684091,0.0003131525,0.0001010168,0.0002239264,0.000008485104,0.00004158633,0.00008284132],"genre_scores_gemma":[0.8538882,0.0009251435,0.1449507,0.00005478522,0.00007503569,0.00002404069,0.0000233105,0.00002537755,0.00003348086],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8234584,"threshold_uncertainty_score":0.3587359,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2046893664","doi":"10.1007/s10472-012-9329-3","title":"Relational concept analysis: mining concept lattices from multi-relational data","year":2013,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":150,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Relational database; Formal concept analysis; Data mining; Relational calculus; sort; Theoretical computer science; Set (abstract data type); Relational model; Cluster analysis; Relational database management system; Knowledge extraction; Process (computing); Data science; Information retrieval; Machine learning; Algorithm; Programming language","authors":[{"name":"Mohamed Rouane-Hacene","is_ca":true},{"name":"Marianne Huchard","is_ca":false},{"name":"Amedeo Napoli","is_ca":false},{"name":"Petko Valtchev","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.3591188805311848,"gpt":0.3688164840243443,"spread":0.009697603493159512,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003549655,0.0001452628,0.0002982769,0.0001067594,0.0001335369,0.0001755206,0.0007800093,0.00007571164,0.0002680754],"category_scores_gemma":[0.0002159204,0.000121164,0.00007444927,0.0003949984,0.0001972018,0.0007633428,0.0003839103,0.00009559102,0.00005318655],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002720132,"about_ca_system_score_gemma":0.00003522795,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002004649,"about_ca_topic_score_gemma":0.0000282718,"domain_scores_codex":[0.9983736,0.00003943386,0.0006522075,0.0004048723,0.0003301162,0.0001997871],"domain_scores_gemma":[0.9979878,0.0007132961,0.0003400434,0.0006425325,0.0002214938,0.00009484504],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002707691,0.0004338303,0.0009265915,0.00001854347,0.0004814114,0.000003535651,0.009033049,0.005986447,0.0001669677,0.8815775,0.0008828362,0.1004866],"study_design_scores_gemma":[0.0000201419,0.00003041541,0.001793495,0.00003149281,0.00004575933,7.81419e-7,0.0007642658,0.8959346,0.0008868446,0.1002223,0.0001204476,0.0001495249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0410888,0.0008982321,0.9556831,0.001604485,0.00009620981,0.0001494706,0.00009360813,0.00003392416,0.0003521907],"genre_scores_gemma":[0.6074733,0.00004788289,0.3921281,0.0001906478,0.00005250285,0.000004779628,0.0000696119,0.000004686802,0.00002845881],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8899481,"threshold_uncertainty_score":0.4940926,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2139630036","doi":"10.1023/b:amai.0000031197.13122.aa","title":"On the Semantics of Deliberation in IndiGolog — from Theory to Implementation","year":2004,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":88,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University; University of Toronto","funders":"","keywords":"Deliberation; Computer science; Semantics (computer science); Simple (philosophy); Plan (archaeology); Situation calculus; Bounded function; Programming language; Theoretical computer science; Artificial intelligence; Epistemology; Mathematics","authors":[{"name":"Sebastian Sardiña","is_ca":true},{"name":"Giuseppe De Giacomo","is_ca":false},{"name":"Yves Lespérance","is_ca":true},{"name":"Hector J. Levesque","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1019278634228602,"gpt":0.3532861719610607,"spread":0.2513583085382004,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006050183,0.00007071069,0.0001253486,0.00005900071,0.00004202841,0.0000346637,0.0002529116,0.00002928294,0.00002369542],"category_scores_gemma":[0.000185147,0.00004897867,0.00002796635,0.0001953771,0.00004810767,0.00007957594,0.00008563816,0.00004923243,0.00001654045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004734395,"about_ca_system_score_gemma":0.00002238814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007409506,"about_ca_topic_score_gemma":0.0001897142,"domain_scores_codex":[0.9992611,0.00003291851,0.0003414968,0.0001279076,0.0001301681,0.0001064139],"domain_scores_gemma":[0.9992028,0.0003642349,0.0001337467,0.0001977115,0.00007498315,0.00002654503],"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.000004168353,0.0001171643,0.00002906331,0.000008562523,0.000005414783,6.223978e-7,0.009968369,0.0004982408,0.00126899,0.9438589,0.00002012337,0.04422037],"study_design_scores_gemma":[0.00001199935,0.0001036062,0.0002164235,0.00004493602,0.000001887261,3.067013e-7,0.00075547,0.002920898,0.2247164,0.7711772,0.000006475052,0.00004446939],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5222778,0.0000234918,0.4764397,0.0009342065,0.00002991206,0.0001097979,0.000002225249,0.000004817892,0.0001780661],"genre_scores_gemma":[0.9839255,0.00003797364,0.01574402,0.0002676992,0.00001193196,0.000005596564,8.869061e-7,0.000002983065,0.00000336608],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4616477,"threshold_uncertainty_score":0.1997292,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2078761037","doi":"10.1007/s10472-007-9056-3","title":"Relational concept discovery in structured datasets","year":2007,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":86,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Binary relation; Formal concept analysis; Relational database; Class diagram; Relational calculus; Entity–relationship model; Knowledge extraction; Relation (database); Field (mathematics); Class (philosophy); Data science; Relational model; Theoretical computer science; Data mining; Unified Modeling Language; Software; Artificial intelligence; Programming language; Mathematics; Algorithm","authors":[{"name":"Marianne Huchard","is_ca":false},{"name":"Mohamed Rouane Hacene","is_ca":true},{"name":"Clément Roume","is_ca":true},{"name":"Petko Valtchev","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1503343058578551,"gpt":0.3482971329661513,"spread":0.1979628271082962,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006100296,0.00008984261,0.0001515458,0.00008753207,0.00004479944,0.00007001496,0.0002951901,0.00004730844,0.00001062504],"category_scores_gemma":[0.000110168,0.00007365586,0.0000312491,0.0002111806,0.0001048242,0.0003599541,0.0001225932,0.00008354741,0.000004806964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003136681,"about_ca_system_score_gemma":0.00001834503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002363373,"about_ca_topic_score_gemma":0.00004602712,"domain_scores_codex":[0.9989567,0.00001208324,0.0004616191,0.0001869482,0.0001932,0.0001894806],"domain_scores_gemma":[0.9992785,0.0002455268,0.0001341291,0.000249443,0.00004312741,0.00004924284],"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.000003316957,0.00009250541,0.0000895289,0.00001549659,0.000004494932,0.000008638314,0.001101104,0.0001879408,0.0002631166,0.9322541,0.00009005202,0.06588965],"study_design_scores_gemma":[0.00002340051,0.00007106677,0.002251493,0.0000635688,0.000002237332,0.000009205537,0.0004965288,0.04567284,0.0349983,0.9159703,0.0002670411,0.0001740661],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08948833,0.0002488896,0.9086782,0.0006692213,0.0001092068,0.000113167,0.00003456686,0.00001426381,0.0006441994],"genre_scores_gemma":[0.9301553,0.00005329605,0.06956568,0.000175662,0.00002897213,9.797948e-7,0.000009856053,0.000003333833,0.000006935245],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8406669,"threshold_uncertainty_score":0.3003599,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2054275301","doi":"10.1007/s10472-007-9064-3","title":"Region–based theory of discrete spaces: A proximity approach","year":2007,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Digital Image Processing Techniques","field":"Computer Science","cited_by":80,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Brock University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Complex system; Mathematics; Computer science; Statistical physics; Topology (electrical circuits); Algebra over a field; Pure mathematics; Physics; Artificial intelligence; Combinatorics","authors":[{"name":"Ivo Düntsch","is_ca":true},{"name":"Dimiter Vakarelov","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.161922055152267,"gpt":0.3517597225894868,"spread":0.1898376674372198,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0014972,0.0001224336,0.0002335846,0.0001248927,0.00004509591,0.0001104717,0.0005533408,0.00005046149,0.000001356485],"category_scores_gemma":[0.0003257985,0.0000995649,0.00006903929,0.0003157688,0.0003373587,0.000416729,0.000157029,0.00007326289,0.000001191495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002537851,"about_ca_system_score_gemma":0.00003440906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005094817,"about_ca_topic_score_gemma":0.000001120612,"domain_scores_codex":[0.9988118,0.00002120651,0.0005052768,0.0002200578,0.0002416993,0.0001999516],"domain_scores_gemma":[0.9986628,0.0002783367,0.0003312422,0.0004113164,0.0002506718,0.00006559416],"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.00001051775,0.0003228183,0.00001175466,0.0002827821,0.000008302942,0.000002734861,0.001102976,0.0000110589,0.0009145575,0.855635,0.00002017985,0.1416773],"study_design_scores_gemma":[0.000005129033,0.00007219624,0.000004876607,0.0001185466,0.000003024745,0.000003570848,0.0002701422,0.03646101,0.3817323,0.5812283,0.00001961077,0.00008129312],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009050578,0.0001704271,0.9858282,0.0002556947,0.00001691052,0.0001548837,0.00000167906,0.00007197388,0.004449694],"genre_scores_gemma":[0.6485813,0.00001424245,0.3513145,0.00005401384,0.000007317554,0.000003199291,3.07749e-7,0.000005582317,0.00001956683],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6395307,"threshold_uncertainty_score":0.4060139,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2059979378","doi":"10.1007/s10472-013-9371-9","title":"Domain adaptation–can quantity compensate for quality?","year":2013,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Data Stream Mining Techniques","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Classifier (UML); Computer science; Artificial intelligence; Machine learning; Domain adaptation; Test data; Training set; Sample (material); Labeled data; Adaptation (eye); Probability distribution; Pattern recognition (psychology); Mathematics; Statistics","authors":[{"name":"Shai Ben-David","is_ca":true},{"name":"Ruth Urner","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2925720871620803,"gpt":0.4001518648282202,"spread":0.1075797776661399,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008117649,0.0001100271,0.0002310661,0.00007265341,0.00008631471,0.00018315,0.0005793017,0.00004097303,0.00001146828],"category_scores_gemma":[0.0001939015,0.00009868852,0.00005671604,0.0001377826,0.0001169784,0.0002959124,0.0001644662,0.00004765904,0.00001677621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002653597,"about_ca_system_score_gemma":0.00002236093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002017431,"about_ca_topic_score_gemma":0.00005448468,"domain_scores_codex":[0.9988492,0.00002853307,0.0005293379,0.000218571,0.000185209,0.0001891843],"domain_scores_gemma":[0.998555,0.0004283324,0.0002481189,0.000417501,0.0002851879,0.00006587202],"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.000001374126,0.0001029027,0.0000152113,0.00006794433,0.000008868313,2.174494e-7,0.001468708,0.000007633503,0.001459219,0.9272805,0.0002473312,0.06934005],"study_design_scores_gemma":[0.000009077531,0.0001124157,0.00006692293,0.00007798602,0.000002181451,0.000001410117,0.0007084615,0.05435481,0.06997985,0.8743364,0.0002273586,0.0001231442],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07978868,0.0000416112,0.9173024,0.002263315,0.00004187703,0.0003084769,0.0000237196,0.00007009602,0.0001597726],"genre_scores_gemma":[0.4061909,0.00004952956,0.5935245,0.000168717,0.0000138146,0.00003286973,0.000003537241,0.000005500474,0.0000105959],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3264022,"threshold_uncertainty_score":0.4024401,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1981334977","doi":"10.1007/s10472-010-9191-0","title":"Tradeoffs in the empirical evaluation of competing algorithm designs","year":2010,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Algorithm; Parameterized complexity; Set (abstract data type); Algorithm design; Integer programming","authors":[{"name":"Frank Hutter","is_ca":true},{"name":"Holger H. Hoos","is_ca":true},{"name":"Kevin Leyton‐Brown","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.4438438458895254,"gpt":0.4265607545525879,"spread":0.01728309133693751,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002573309,0.00005734067,0.0001078827,0.00007336949,0.00004093775,0.00003984014,0.0002226936,0.0000360671,0.0000214657],"category_scores_gemma":[0.0003997238,0.00004289885,0.00003071865,0.0002367402,0.00009943855,0.0001248317,0.00002797323,0.0000992904,0.000001666807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001574549,"about_ca_system_score_gemma":0.00004015356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001147818,"about_ca_topic_score_gemma":0.00002769324,"domain_scores_codex":[0.9990137,0.00007835488,0.0003833088,0.000106471,0.0003318177,0.00008631959],"domain_scores_gemma":[0.9989802,0.0004240109,0.0001473073,0.0001765241,0.0002509347,0.00002106011],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001011817,0.0001800203,0.00007261263,0.00001371283,0.000004412172,4.83001e-7,0.009374819,0.0006752589,0.001492221,0.2137315,0.00001175486,0.7744422],"study_design_scores_gemma":[0.00001477578,0.00003448152,0.0003147231,0.00002276758,0.000005373632,0.000007675992,0.002060658,0.8733056,0.02308032,0.1010829,0.0000208145,0.00004989564],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1115069,0.00003302207,0.8855836,0.002073878,0.00007070565,0.0001591599,0.000001371899,0.000007408319,0.0005639396],"genre_scores_gemma":[0.8431685,0.00002416379,0.1566767,0.0001112228,0.00001275688,0.000003906127,4.873261e-7,0.00000177812,4.954032e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8726304,"threshold_uncertainty_score":0.1749364,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1986563142","doi":"10.1007/s10472-010-9176-z","title":"A description logic based situation calculus","year":2010,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Toronto Metropolitan University; University of Toronto","funders":"","keywords":"Situation calculus; Decidability; Axiom; Operator (biology); Projection (relational algebra); Calculus (dental); Fragment (logic); Description logic; Mathematics; Computer science; Algebra over a field; Theoretical computer science; Algorithm; Artificial intelligence; Pure mathematics","authors":[{"name":"Yilan Gu","is_ca":true},{"name":"Mikhail Soutchanski","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1412252140859389,"gpt":0.3337764627817117,"spread":0.1925512486957728,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006085231,0.000106515,0.0001588462,0.00008076736,0.00009888737,0.000124561,0.0003182477,0.00007251064,0.00003471436],"category_scores_gemma":[0.0003389629,0.00008680612,0.00006049924,0.0001946989,0.0001043779,0.0002118256,0.00007292576,0.0001136826,0.00004348695],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002301923,"about_ca_system_score_gemma":0.00003685049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002096062,"about_ca_topic_score_gemma":0.00006572255,"domain_scores_codex":[0.9990982,0.00001954863,0.0003281752,0.000202821,0.0001747816,0.0001764811],"domain_scores_gemma":[0.9990888,0.0001458218,0.0001600973,0.0002924643,0.0002357461,0.00007708539],"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.000002145494,0.0002041984,0.00001862861,0.00003848108,0.000004171401,0.000001714219,0.001127244,0.00003591921,0.01815156,0.9175006,0.00005923087,0.06285615],"study_design_scores_gemma":[0.00001108859,0.00008232919,0.00006231383,0.00002467577,0.000003905162,0.00000385178,0.0001071365,0.4200479,0.1412003,0.4382251,0.0001277873,0.0001035189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1113149,0.0000666567,0.8859197,0.000745911,0.0002058256,0.000105523,0.000001200402,0.00004367032,0.001596513],"genre_scores_gemma":[0.9394855,0.00002741822,0.06022464,0.0001682418,0.00004884319,0.000006077623,0.000001110299,0.000004469914,0.00003362282],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8281707,"threshold_uncertainty_score":0.3539851,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2053024197","doi":"10.1007/s10472-005-9016-8","title":"Regular path queries under approximate semantics","year":2006,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria; Concordia University","funders":"","keywords":"Containment (computer programming); Path (computing); Focus (optics); Semantics (computer science); Mathematics; Query language; Query optimization; Computer science; Polynomial; Automaton; Theoretical computer science; Algorithm; Database; Programming language","authors":[{"name":"Gösta Grahne","is_ca":true},{"name":"Alex Thomo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07877425589486078,"gpt":0.3108494660789743,"spread":0.2320752101841135,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003803137,0.0001485708,0.0002602839,0.00006351461,0.000118261,0.0000727735,0.000235987,0.00004613596,0.000006685363],"category_scores_gemma":[0.00004715694,0.000124073,0.00005639533,0.0001913754,0.0001852112,0.0003553204,0.0001708731,0.00006146938,0.000009589796],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002631149,"about_ca_system_score_gemma":0.00002107896,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007112469,"about_ca_topic_score_gemma":0.00002565855,"domain_scores_codex":[0.9987452,0.00001943508,0.0005343813,0.0002404487,0.0002276273,0.000232878],"domain_scores_gemma":[0.9990049,0.000105091,0.0002308649,0.0004490806,0.0001601599,0.00004990659],"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.000001623413,0.0001029916,0.000007424479,0.0001271464,0.000007110733,0.00000406504,0.0003353222,0.0002520704,0.002106519,0.9906558,0.0001111815,0.006288689],"study_design_scores_gemma":[0.00001038742,0.00005745006,0.00001693992,0.0001351256,0.000004343859,0.00001357604,0.0008176619,0.05306759,0.1612303,0.7828078,0.001647046,0.0001917318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02486807,0.0004258359,0.9730713,0.0008776008,0.00008508457,0.000119268,0.0000145647,0.00005480058,0.000483434],"genre_scores_gemma":[0.6141776,0.0002633653,0.3851735,0.0001249668,0.00008274352,0.0000105773,0.000005930262,0.00001537183,0.0001459775],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5893095,"threshold_uncertainty_score":0.5059552,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2009254877","doi":"10.1007/s10472-013-9372-8","title":"A fast compound algorithm for mining generators, closed itemsets, and computing links between equivalence classes","year":2013,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Data Mining Algorithms and Applications","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal; Université du Québec à Montréal","funders":"","keywords":"Schema (genetic algorithms); Computer science; Computation; Data mining; Association rule learning; Scalability; Algorithm; Theoretical computer science; Machine learning; Database","authors":[{"name":"László Szathmáry","is_ca":false},{"name":"Petko Valtchev","is_ca":true},{"name":"Amedeo Napoli","is_ca":false},{"name":"Robert Godin","is_ca":true},{"name":"Alix Boc","is_ca":true},{"name":"Vladimir Makarenkov","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1431348549864317,"gpt":0.3557784039373261,"spread":0.2126435489508944,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004982394,0.0001668624,0.0003070215,0.00008243743,0.0002447878,0.000385118,0.0004504164,0.00009092657,0.000003797171],"category_scores_gemma":[0.0000851084,0.0001532937,0.00004780552,0.000201836,0.000165159,0.0003176595,0.0002765375,0.0001128096,0.000006443518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003122429,"about_ca_system_score_gemma":0.0000269914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004091586,"about_ca_topic_score_gemma":0.000002530437,"domain_scores_codex":[0.9985803,0.00001861716,0.000584206,0.0003565886,0.0001730116,0.0002873152],"domain_scores_gemma":[0.9983253,0.0007086141,0.0002664497,0.0003165888,0.000256273,0.0001268046],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[2.649232e-7,0.00007465586,0.00003867721,0.0000773248,0.00002038026,4.360274e-7,0.001139457,0.00001093535,0.0006867506,0.04798188,0.0002493743,0.9497198],"study_design_scores_gemma":[0.0000252913,0.0001278053,0.0001165719,0.0001464015,0.00001111183,0.000005979078,0.0008367178,0.9096373,0.02380418,0.06476445,0.0003123926,0.0002118052],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1247654,0.0002202693,0.8737239,0.0008101568,0.00004971392,0.0002978957,0.00005253163,0.00003909896,0.00004107603],"genre_scores_gemma":[0.2561936,0.00011118,0.7433957,0.0001212667,0.000119089,0.00002521283,0.0000105964,0.00001077575,0.00001261998],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9495081,"threshold_uncertainty_score":0.6251135,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2274126126","doi":"10.1007/s10472-015-9492-4","title":"How many crowdsourced workers should a requester hire?","year":2016,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Mobile Crowdsensing and Crowdsourcing","field":"Computer Science","cited_by":20,"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; University of Waterloo","keywords":"Crowdsourcing; Aggregate (composite); Computer science; Payment; Task (project management); Bootstrapping (finance); Process (computing); Set (abstract data type); Data science; Econometrics; Economics; World Wide Web","authors":[{"name":"Arthur Carvalho","is_ca":false},{"name":"Stanko Dimitrov","is_ca":true},{"name":"Kate Larson","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1554075505222552,"gpt":0.3250190013130534,"spread":0.1696114507907982,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006324897,0.000183862,0.0002770111,0.0001071396,0.0001160265,0.0003115169,0.0004679551,0.00008496329,0.000009120191],"category_scores_gemma":[0.0002459224,0.0001223248,0.0001016365,0.0002077572,0.0002051184,0.0003450395,0.0001772394,0.00008452068,0.0000192929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005619666,"about_ca_system_score_gemma":0.00002433391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001142811,"about_ca_topic_score_gemma":0.000006041106,"domain_scores_codex":[0.9985884,0.00002692719,0.0004192364,0.0003431106,0.0002844701,0.0003378541],"domain_scores_gemma":[0.9986039,0.000327834,0.0002231203,0.0005849365,0.0001337972,0.00012639],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001039634,0.0001634369,0.0001108465,0.00009484479,0.00003990171,0.00001647082,0.002530118,0.00001828255,0.04040351,0.3982389,0.0005926224,0.5577807],"study_design_scores_gemma":[0.00003911728,0.0001644683,0.00005984713,0.0007665429,0.00001269609,0.00003351075,0.001131244,0.015901,0.6385869,0.3411848,0.001707,0.0004127932],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1999948,0.0001690374,0.787623,0.0113979,0.0001180052,0.0001172347,0.000001970542,0.00007837614,0.0004995622],"genre_scores_gemma":[0.977618,0.00009821031,0.02137566,0.000238637,0.00006463038,0.000006146759,1.74559e-7,0.00001444749,0.0005840678],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7776232,"threshold_uncertainty_score":0.4988261,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W21188937","doi":"","title":"Generalizations of Watched Literals for Backtracking Search.","year":2002,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Advanced Image and Video Retrieval Techniques","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Backtracking; Complex system; Mathematics; Theoretical computer science; Computer science; Algorithm; Discrete mathematics; Algebra over a field; Artificial intelligence; Pure mathematics","authors":[{"name":"Allen Van Gelder","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2993484997997068,"gpt":0.3999518715604214,"spread":0.1006033717607147,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003353514,0.00008417456,0.000196692,0.00008017191,0.00005907528,0.00004840157,0.0002952348,0.00003557191,0.00001869893],"category_scores_gemma":[0.0001927617,0.00007382598,0.00006894214,0.0002356169,0.00008750972,0.0002715231,0.00008116796,0.0000396878,0.000002366857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000166865,"about_ca_system_score_gemma":0.000006411146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004815167,"about_ca_topic_score_gemma":8.910794e-7,"domain_scores_codex":[0.9990885,0.00001337347,0.0004493646,0.0001531067,0.0001390562,0.0001566107],"domain_scores_gemma":[0.9989818,0.0002274147,0.0001507573,0.0002512649,0.0003441981,0.00004456463],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000002100317,0.0002053441,0.000008042328,0.0001918699,0.00001318901,6.508339e-7,0.002887594,0.00009202663,0.01647814,0.6859276,0.0001679438,0.2940255],"study_design_scores_gemma":[0.000006065808,0.0000829637,0.000001422291,0.00006213611,0.000002236629,0.000001167322,0.00007578077,0.1040524,0.6010785,0.2944086,0.0001719304,0.0000568314],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009810084,0.0005029692,0.988601,0.0006677009,0.00002246127,0.0001838865,0.000008945818,0.00003057379,0.0001724115],"genre_scores_gemma":[0.5829481,0.00101711,0.4158342,0.000100207,0.00002342141,0.000008209618,0.000001011983,0.000007398248,0.00006025708],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5846003,"threshold_uncertainty_score":0.3010536,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2100330382","doi":"10.1023/a:1022971915900","title":"An Overview of a Formal Framework for Managing Mathematics","year":2003,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Mitacs","keywords":"Complex system; Computer science; Mathematics; Artificial intelligence","authors":[{"name":"William M. Farmer","is_ca":true},{"name":"Martin v. Mohrenschildt","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2547688236814281,"gpt":0.3963818287865096,"spread":0.1416130051050815,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001178181,0.0001351218,0.0003374278,0.00007770894,0.00008782544,0.00008822256,0.0004287587,0.00007281335,0.000009175428],"category_scores_gemma":[0.0002527329,0.0001118657,0.0001029371,0.0002099532,0.00008393947,0.0002827757,0.00005914873,0.00006249531,0.000004229534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002273663,"about_ca_system_score_gemma":0.00002548057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008015772,"about_ca_topic_score_gemma":0.000003858293,"domain_scores_codex":[0.998655,0.00002547317,0.0006460872,0.0001980795,0.0002054224,0.0002699473],"domain_scores_gemma":[0.9985824,0.0003045966,0.000374467,0.0004532139,0.0002081286,0.0000772483],"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.000001559885,0.0002797178,0.000006674978,0.0007181103,0.00001711408,6.461599e-7,0.003286693,0.00003369342,0.000163457,0.9539577,0.00000638046,0.04152822],"study_design_scores_gemma":[0.0000116993,0.0002180262,0.000001599449,0.00007847309,0.000008509403,0.000005867142,0.001217173,0.05176372,0.04235359,0.9040548,0.0001717791,0.0001148014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006044192,0.0007934157,0.991993,0.0001109635,0.0001106527,0.0002939292,0.000001906639,0.00002737178,0.0006245925],"genre_scores_gemma":[0.6730365,0.0002357047,0.3266298,0.00004752991,0.00001951261,0.00001346904,4.766244e-7,0.000008114558,0.000008949226],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6669922,"threshold_uncertainty_score":0.4561749,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1545897260","doi":"10.1023/a:1018952121991","title":"Higher order generalization and its application in program verification","year":2000,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Generalization; Unification; Computer science; Mathematical proof; Inductive reasoning; Order (exchange); Theoretical computer science; Inference; Algebra over a field; Artificial intelligence; Algorithm; Mathematics; Programming language; Pure mathematics","authors":[{"name":"Jianguo Lü","is_ca":true},{"name":"John Mylopoulos","is_ca":true},{"name":"Masateru Harao","is_ca":false},{"name":"Masami Hagiya","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1061203702815848,"gpt":0.3413464726257647,"spread":0.2352261023441799,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003026648,0.00007670734,0.0001195357,0.00005206047,0.00004424962,0.00007416123,0.0001482546,0.00004935408,0.00001489857],"category_scores_gemma":[0.00001962341,0.00006696793,0.00001426603,0.0002862227,0.00003830854,0.0001688468,0.00002492892,0.00003633672,0.00001805514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002441912,"about_ca_system_score_gemma":0.000009942493,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004249608,"about_ca_topic_score_gemma":0.00001901635,"domain_scores_codex":[0.9992334,0.00002032826,0.0003200054,0.0001919273,0.0001142084,0.0001201622],"domain_scores_gemma":[0.9995629,0.00002755081,0.00009924064,0.0001666068,0.0001074232,0.00003629403],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001227765,0.0001245799,0.0000318315,0.00004183788,0.000002224823,2.500377e-7,0.0005988725,0.00005770688,0.0004250456,0.6010925,0.000005294738,0.3976186],"study_design_scores_gemma":[0.00002815273,0.000144062,0.0004002483,0.00002115793,0.000004251715,0.000003930416,0.0001015812,0.4877426,0.0279349,0.4792629,0.004167034,0.000189151],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2340495,0.001060709,0.7607398,0.001230664,0.00008524053,0.0008924549,8.966093e-7,0.0001017914,0.001838963],"genre_scores_gemma":[0.9912028,0.0004101362,0.008168899,0.00004914688,0.00002601377,0.00004707324,0.000002479747,0.000004584557,0.00008888722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7571533,"threshold_uncertainty_score":0.2730873,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1838030265","doi":"10.1023/a:1026153912205","title":"Database Repairs and Analytic Tableaux","year":2003,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"Relational database; Computer science; Data integrity; Set (abstract data type); Closing (real estate); Relational model; Basis (linear algebra); Deductive database; Functional dependency; Database; Information retrieval; Theoretical computer science; Data mining; Programming language; Mathematics","authors":[{"name":"Leopoldo Bertossi","is_ca":true},{"name":"Camilla Schwind","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1302455512069036,"gpt":0.3348983845880137,"spread":0.20465283338111,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008212652,0.0001270364,0.0002298769,0.00008093545,0.0001084615,0.0001097596,0.0002547012,0.00004207352,0.00002654448],"category_scores_gemma":[0.0005382959,0.0001047087,0.00004562391,0.000251644,0.0001420798,0.000230617,0.0001266566,0.00007494341,0.00001852825],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002314612,"about_ca_system_score_gemma":0.00003539234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001737035,"about_ca_topic_score_gemma":0.00001627381,"domain_scores_codex":[0.9989361,0.00003281943,0.00037018,0.0002808162,0.0001565101,0.0002236235],"domain_scores_gemma":[0.9989805,0.00022342,0.0001428975,0.0004002296,0.0001369142,0.0001160545],"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.000001243328,0.0001345501,0.00005471032,0.00008378179,0.00001357399,0.000005633854,0.001160763,0.000009292154,0.000482703,0.9800669,0.0001742401,0.01781259],"study_design_scores_gemma":[0.00002462663,0.0001664933,0.00003336149,0.0001325285,0.00001740408,0.00003990287,0.001004609,0.104741,0.137938,0.7539641,0.001650969,0.0002870003],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1309623,0.002464556,0.8512444,0.0005882377,0.0001828853,0.0002233071,0.000007001437,0.00008026684,0.01424706],"genre_scores_gemma":[0.9508594,0.0007689799,0.0480603,0.0001240584,0.00002108986,0.000003873897,7.489073e-7,0.000006997866,0.0001545795],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8198971,"threshold_uncertainty_score":0.4269895,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1583206423","doi":"10.1023/a:1022955412266","title":"Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms","year":2003,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Mathematics, Computing, and Information Processing","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Computer science; XSLT; Presentational and representational acting; Information retrieval; XML; World Wide Web","authors":[{"name":"Bill Naylor","is_ca":true},{"name":"Stephen M. Watt","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1760456789143388,"gpt":0.3477313850796697,"spread":0.1716857061653309,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001682434,0.000164439,0.0004198819,0.00008740346,0.0002018884,0.0001126075,0.0005336271,0.00005602005,0.00004497104],"category_scores_gemma":[0.0007807314,0.0001018034,0.0001902293,0.0001920202,0.0001680123,0.0004200418,0.0001284177,0.00006825943,0.000009254391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003798104,"about_ca_system_score_gemma":0.00003684274,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005078829,"about_ca_topic_score_gemma":0.000001244039,"domain_scores_codex":[0.9982717,0.00002274395,0.0009948505,0.0001705726,0.0003224321,0.0002177115],"domain_scores_gemma":[0.9972983,0.001248259,0.0006154638,0.0004073028,0.0003648034,0.00006584889],"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.000003181781,0.0001796458,0.000003973792,0.0009761839,0.000161317,1.433595e-7,0.006273294,0.0001548907,0.0002581603,0.9808435,0.00007486035,0.01107082],"study_design_scores_gemma":[0.00002731355,0.00005740174,7.419595e-7,0.00006297392,0.00005739356,0.000003464557,0.001016512,0.2960309,0.179055,0.5232524,0.000346499,0.00008929241],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01098706,0.0003606053,0.9868497,0.0003575362,0.0000717306,0.0003670655,0.00000270834,0.00002173706,0.0009818833],"genre_scores_gemma":[0.7781333,0.0001146252,0.2215266,0.0001419032,0.000009524748,0.00002357665,6.734293e-7,0.00000813908,0.00004174128],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7671462,"threshold_uncertainty_score":0.415142,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2059326695","doi":"10.1023/b:amai.0000034523.18162.6b","title":"Representing von Neumann–Morgenstern Games in the Situation Calculus","year":2004,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Von Neumann architecture; Formalism (music); Stochastic game; Nash equilibrium; Game theory; Computer science; Variety (cybernetics); Situation calculus; Mathematical economics; Mathematics; Calculus (dental); Artificial intelligence; Pure mathematics","authors":[{"name":"Oliver Schulte","is_ca":true},{"name":"James P. Delgrande","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1286554961339966,"gpt":0.3436359137128901,"spread":0.2149804175788935,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009090098,0.0001027645,0.0001613814,0.00007494524,0.00009288568,0.0001382019,0.0004820839,0.00004220498,0.000004218301],"category_scores_gemma":[0.0002951953,0.00007178033,0.0000573288,0.0002764485,0.00008434116,0.0002029318,0.0001264413,0.00009380191,0.00002146527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004313974,"about_ca_system_score_gemma":0.00002495539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009410419,"about_ca_topic_score_gemma":0.0001216802,"domain_scores_codex":[0.9989142,0.00003621363,0.0004120157,0.0002152871,0.000218208,0.0002040718],"domain_scores_gemma":[0.9991626,0.000187135,0.0001667242,0.0003388667,0.0001094297,0.000035291],"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.00000189099,0.0002511664,0.00008516212,0.00005127021,0.000006389129,0.00001007899,0.02234674,0.0005120959,0.0009132957,0.914084,0.00002560892,0.06171235],"study_design_scores_gemma":[0.00003016409,0.0001057918,0.0004427125,0.0001585636,0.000005635532,0.00001896136,0.002666427,0.0914304,0.07799344,0.8268663,0.0001065836,0.0001750174],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4763122,0.0003376656,0.5189463,0.001927067,0.0001083462,0.0001673963,6.561257e-7,0.0000250152,0.002175272],"genre_scores_gemma":[0.9945959,0.0001298394,0.005043923,0.0001500099,0.00004446796,0.000006401738,5.433243e-7,0.00000419974,0.00002466582],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5182837,"threshold_uncertainty_score":0.2927117,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2106001557","doi":"10.1007/s10472-014-9411-0","title":"Generalized pattern extraction from concept lattices","year":2014,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Generalization; Cardinality (data modeling); Formal concept analysis; Simple (philosophy); Set (abstract data type); Computer science; Complex system; Theoretical computer science; Mathematics; Artificial intelligence; Algorithm; Data mining","authors":[{"name":"Léonard Kwuida","is_ca":false},{"name":"Rokia Missaoui","is_ca":true},{"name":"Abdélilah Balamane","is_ca":true},{"name":"Jean Vaillancourt","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1400820512726919,"gpt":0.3491182927251587,"spread":0.2090362414524667,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002868931,0.0001068168,0.0002020291,0.00003989713,0.00007400475,0.0001300868,0.0003346065,0.00005009738,0.00004379102],"category_scores_gemma":[0.00008011798,0.00008604054,0.00005214081,0.00009451689,0.00007810294,0.0002052811,0.00009017062,0.00006344019,0.00002839316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001420461,"about_ca_system_score_gemma":0.000007314889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001449099,"about_ca_topic_score_gemma":0.00001685251,"domain_scores_codex":[0.9990385,0.00003538476,0.0003767665,0.0002164719,0.0001762738,0.0001566116],"domain_scores_gemma":[0.9990723,0.0002740373,0.0002030128,0.0003021743,0.0000849956,0.00006345116],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001756241,0.0001315656,0.00002210279,0.00002001957,0.00001418373,0.000001422396,0.002023354,0.0001284132,0.001408785,0.370243,0.0001158916,0.6258895],"study_design_scores_gemma":[0.00001589751,0.00008982106,0.00008492749,0.00004248926,0.000005806678,0.000001851608,0.000214797,0.3996903,0.06947479,0.5296068,0.0006366199,0.0001358242],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1256268,0.0002399389,0.8719029,0.001230405,0.000157851,0.00006911657,0.000005248618,0.00003406629,0.0007337123],"genre_scores_gemma":[0.9325624,0.0001599452,0.06676228,0.0003986211,0.00009485782,0.000003235575,0.000002245277,0.000005294835,0.00001112324],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8069356,"threshold_uncertainty_score":0.3508631,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2054320689","doi":"10.1007/s10472-006-9035-0","title":"A formal mathematical framework for modeling probabilistic hybrid systems","year":2007,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Probabilistic logic; Hybrid system; Dynamical systems theory; Theoretical computer science; Asynchronous communication; Semantics (computer science); Complex system; Artificial intelligence; Programming language; Machine learning","authors":[{"name":"Robert St‐Aubin","is_ca":true},{"name":"Joel Friedman","is_ca":true},{"name":"Alan K. Mackworth","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2391051844002866,"gpt":0.4056549268499324,"spread":0.1665497424496457,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003434697,0.0001493202,0.0002936641,0.0001066231,0.0001300317,0.0001344844,0.0004971287,0.00007752283,0.000003001604],"category_scores_gemma":[0.001507793,0.0001302299,0.00008311342,0.0001875207,0.00009895971,0.000359654,0.0001260217,0.0001126111,0.000009160288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007709733,"about_ca_system_score_gemma":0.00002586309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003928321,"about_ca_topic_score_gemma":6.234242e-7,"domain_scores_codex":[0.9981433,0.00002054093,0.0009136186,0.0002546265,0.0002780265,0.0003899558],"domain_scores_gemma":[0.9980628,0.0007791045,0.000267298,0.0004497909,0.0003343077,0.0001067333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009413171,0.0001435902,4.489607e-7,0.0004529672,0.000009898568,8.350609e-7,0.0009312278,0.002261847,0.0001580694,0.9595482,0.000003763971,0.03647978],"study_design_scores_gemma":[0.000005006789,0.00006703678,2.891621e-7,0.0001183739,0.00000392871,0.000008885079,0.0002833689,0.5027091,0.01475223,0.4819669,0.000009460084,0.00007534421],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02537562,0.0001366826,0.9733416,0.0001439168,0.0001812835,0.0005140986,0.000004974824,0.00005433063,0.0002474721],"genre_scores_gemma":[0.4181679,0.00001806995,0.5817074,0.00002827635,0.00004404283,0.00002148019,5.208424e-7,0.000007806652,0.000004537465],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5004473,"threshold_uncertainty_score":0.5310622,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4385458530","doi":"10.1007/s10472-023-09885-8","title":"A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer’s disease","year":2023,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Fractal and DNA sequence analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"National Institute of Biomedical Imaging and Bioengineering; Canadian Institutes of Health Research; National Institutes of Health; Servier; Università degli Studi di Firenze; BioClinica; Northern California Institute for Research and Education; F. Hoffmann-La Roche; University of Southern California; Biogen; Eli Lilly and Company; Bristol-Myers Squibb; Eisai; National Institute on Aging; Alzheimer's Association; Foundation for the National Institutes of Health; U.S. Department of Defense","keywords":"Grey matter; White matter; Fractal dimension; Pattern recognition (psychology); Artificial intelligence; Neuroimaging; Mathematics; Fractal; Computer science; Statistics; Psychology; Medicine; Neuroscience; Magnetic resonance imaging; Radiology","authors":[{"name":"Niccolò Di Marco","is_ca":false},{"name":"Azzurra di Palma","is_ca":false},{"name":"Andrea Frosini","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0735710466518416,"gpt":0.338067428465727,"spread":0.2644963818138854,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002850593,0.00009639338,0.00017497,0.00007551169,0.00003798366,0.000007519111,0.00008614976,0.00003222132,0.00000999092],"category_scores_gemma":[0.0001251817,0.00006427556,0.00005111419,0.0001393064,0.0001528111,0.000006048023,0.00009607599,0.00004559375,0.000002935299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":6.337249e-7,"about_ca_system_score_gemma":0.00001071978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002165414,"about_ca_topic_score_gemma":0.00001359386,"domain_scores_codex":[0.999237,0.00003547101,0.0003135792,0.000169446,0.0001460214,0.0000984565],"domain_scores_gemma":[0.9994332,0.00009823095,0.0001513267,0.0001990806,0.0000814919,0.00003666953],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00326485,0.01543993,0.1636014,0.0008469672,0.001838888,0.000110332,0.03040418,0.007944032,0.7100614,0.01872975,0.003441343,0.04431693],"study_design_scores_gemma":[0.00004867126,0.001372753,0.01933783,0.0002219132,0.0000812686,6.107105e-7,0.009330736,0.004175328,0.9534886,0.01178422,0.000009212337,0.0001487862],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9987985,0.0001414389,0.00008442497,0.0006418502,0.00001096811,0.0001740638,0.00004267266,0.000001985307,0.0001040671],"genre_scores_gemma":[0.9995168,0.0003281709,0.00004218074,0.00006542984,0.00001163625,0.00000864952,0.000006952391,0.000006251212,0.00001394465],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2434273,"threshold_uncertainty_score":0.2621081,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2064126174","doi":"10.1007/s10472-007-9044-7","title":"On a rule-based interpretation of default conditionals","year":2007,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Defeasible estate; Interpretation (philosophy); Defeasible reasoning; Non-monotonic logic; Inference; Default logic; Conditional probability; Rule of inference; Mathematics; Computer science; Theoretical computer science; Artificial intelligence; Mathematical economics; Description logic; Programming language","authors":[{"name":"James P. Delgrande","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08515365237624793,"gpt":0.3483287366739617,"spread":0.2631750842977137,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008463337,0.0000990446,0.0001973302,0.0001314789,0.00004766611,0.00003276283,0.0002757938,0.00004956434,0.00002589991],"category_scores_gemma":[0.0003916858,0.00008281295,0.00007485771,0.0001900793,0.0001243776,0.0001005117,0.00004510404,0.00005950134,0.00002080753],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003575375,"about_ca_system_score_gemma":0.00003196226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008108222,"about_ca_topic_score_gemma":0.000009199915,"domain_scores_codex":[0.9989531,0.00001831749,0.0004862184,0.0001639845,0.0002229502,0.0001554025],"domain_scores_gemma":[0.9983996,0.0007698244,0.0002686492,0.0002159581,0.0002856193,0.00006032464],"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.00001612592,0.0003250175,0.0000143848,0.00007990326,0.00001118988,0.000002116377,0.001371143,0.0002561432,0.001917842,0.9409468,0.00005457105,0.05500476],"study_design_scores_gemma":[0.00001571675,0.0001824846,0.0000720627,0.0001417544,0.000003481367,0.000001573755,0.0001638777,0.1263884,0.3371822,0.5357533,0.00001630397,0.00007890343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1525818,0.00008933964,0.843948,0.0001989718,0.00007153249,0.00008918278,0.000004541101,0.00001843206,0.00299815],"genre_scores_gemma":[0.9797447,0.00001520155,0.02000955,0.0001877147,0.00001715554,0.000002635809,0.00000179749,0.000004351097,0.00001693662],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8271628,"threshold_uncertainty_score":0.3377014,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4234580447","doi":"10.1023/b:amai.0000031230.18901.7b","title":"Introduction","year":2004,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"","field":"","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Complex system; Computer science; Artificial intelligence","authors":[{"name":"Jürgen Dix","is_ca":false},{"name":"Michael Fisher","is_ca":false},{"name":"Hector J. Levesque","is_ca":true},{"name":"Leon S. Sterling","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1553457494808421,"gpt":0.3632001058967381,"spread":0.207854356415896,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005204279,0.0001113286,0.0001899439,0.00009954086,0.00006631732,0.00003523444,0.0001137809,0.0000424904,0.0001325584],"category_scores_gemma":[0.0003152251,0.0001005897,0.00005204051,0.0002340916,0.0002005755,0.0001308618,0.00004027626,0.00007434937,0.0005919901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005643833,"about_ca_system_score_gemma":0.0000202622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003260937,"about_ca_topic_score_gemma":0.00001846623,"domain_scores_codex":[0.9989732,0.000009964318,0.0004502952,0.000179918,0.000202101,0.0001845599],"domain_scores_gemma":[0.9992854,0.00004898131,0.0001767996,0.0002299403,0.0001926249,0.00006627392],"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.00001282376,0.0004231123,0.000003707537,0.00007291493,0.00001968647,0.00000164582,0.001630453,0.00094695,0.03787465,0.9368874,0.0003530396,0.02177359],"study_design_scores_gemma":[0.000007492355,0.00006975552,0.000008416288,0.00003450553,0.00000664462,0.000007266202,0.0008111155,0.0007361838,0.4910262,0.5067481,0.0004642685,0.0000800479],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9190688,0.0002538973,0.07243181,0.006336996,0.000170342,0.0002247676,0.00001760627,0.000082204,0.001413604],"genre_scores_gemma":[0.9860833,0.0001206237,0.01343557,0.00006071397,0.0002383012,0.00000474281,0.000002387698,0.00002242842,0.00003190796],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4531515,"threshold_uncertainty_score":0.7609032,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W44082233","doi":"10.1007/s10472-012-9301-2","title":"On the algebra of regular sets","year":2012,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Brock University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Isomorphism (crystallography); Algebraic number; Topological space; Completeness (order theory); Set (abstract data type); Algebra over a field; Algebraic structure; Representation (politics); Discrete mathematics; Space (punctuation); Pure mathematics; Computer science","authors":[{"name":"Michael Winter","is_ca":true},{"name":"Torsten Hahmann","is_ca":true},{"name":"Michael Grüninger","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1248018606366246,"gpt":0.3278880560106488,"spread":0.2030861953740242,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004959448,0.00005888459,0.00009908756,0.0000435919,0.00004937945,0.00002259622,0.0001737773,0.00002465047,0.00005670186],"category_scores_gemma":[0.0001614607,0.00004008872,0.00003694013,0.0001361966,0.00009321871,0.0001243793,0.00004862705,0.00004200983,0.00001140051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001165018,"about_ca_system_score_gemma":0.000008256639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003443145,"about_ca_topic_score_gemma":0.000001059524,"domain_scores_codex":[0.9993908,0.0000211532,0.0002604993,0.00007177084,0.0001489997,0.000106727],"domain_scores_gemma":[0.999219,0.0002872265,0.0001455793,0.0002247036,0.00008505199,0.00003841766],"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":[9.872704e-7,0.00007497272,0.00002017785,0.00001445401,0.000006019861,7.767676e-8,0.001154281,0.00007897752,0.0004039242,0.9320732,0.00009073697,0.06608223],"study_design_scores_gemma":[0.000007576538,0.00007088859,0.0002020099,0.00007408382,0.000004470234,0.000004158555,0.0005821618,0.08488429,0.3064062,0.6075791,0.00009227835,0.00009276993],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1802482,0.00009232526,0.8157282,0.00246551,0.00009499359,0.0001051944,0.000002223725,0.00001467664,0.001248638],"genre_scores_gemma":[0.9824838,0.00006808755,0.01724345,0.0001787191,0.00001059072,0.000001941115,2.382662e-7,0.000002575255,0.00001061574],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8022356,"threshold_uncertainty_score":0.1634771,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1972866855","doi":"10.1007/s10472-011-9237-y","title":"Weight constraint programs with evaluable functions","year":2010,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Stable model semantics; Answer set programming; Constraint programming; Constraint logic programming; Constraint satisfaction; Semantics (computer science); Computer science; Context (archaeology); Logic programming; Constraint (computer-aided design); Programming language; Set (abstract data type); Constraint satisfaction problem; Domain (mathematical analysis); Theoretical computer science; Mathematical optimization; Operational semantics; Mathematics; Artificial intelligence; Stochastic programming","authors":[{"name":"Yisong Wang","is_ca":false},{"name":"Jia-Huai You","is_ca":true},{"name":"Fangzhen Lin","is_ca":false},{"name":"Li Yan Yuan","is_ca":true},{"name":"Mingyi Zhang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1015128151851539,"gpt":0.318776890556816,"spread":0.2172640753716621,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00052443,0.0001283607,0.0001906506,0.00005916237,0.0001381929,0.000144179,0.0003450484,0.00005842793,0.00006174237],"category_scores_gemma":[0.00009890952,0.00008962881,0.00005121036,0.0002335221,0.000305312,0.0001768261,0.00009226034,0.0001527033,0.00004850407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001554817,"about_ca_system_score_gemma":0.00006540042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001547716,"about_ca_topic_score_gemma":0.00008619401,"domain_scores_codex":[0.9990029,0.00001357832,0.0003050448,0.0002362646,0.000205493,0.0002367247],"domain_scores_gemma":[0.9989545,0.0001201899,0.0001460444,0.0003619293,0.0003057605,0.0001115527],"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.000002835401,0.0003327842,0.00007886007,0.00003828061,0.00001785974,0.000002941237,0.001176203,0.000007016604,0.00170845,0.8334092,0.00008065034,0.1631449],"study_design_scores_gemma":[0.00005080051,0.0007771197,0.00006498066,0.0001655333,0.00002874806,0.00009989781,0.001301271,0.1206298,0.1631077,0.7090886,0.004232789,0.0004527401],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1733693,0.0001305534,0.8102137,0.0009328033,0.0002944222,0.0002868058,0.000002804257,0.00009239557,0.01467723],"genre_scores_gemma":[0.9369953,0.00003729297,0.06264378,0.00005156242,0.00006119996,0.00001605259,0.000001098275,0.000006901638,0.0001868523],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.763626,"threshold_uncertainty_score":0.3654957,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2921963619","doi":"10.1007/s10472-019-09681-3","title":"The SAT+CAS method for combinatorial search with applications to best matrices","year":2019,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Wilfrid Laurier University; University of Waterloo","funders":"","keywords":"Satisfiability; Computer science; DPLL algorithm; Variety (cybernetics); Mathematics; Theoretical computer science; Combinatorics; Algorithm; Discrete mathematics; Artificial intelligence","authors":[{"name":"Curtis Bright","is_ca":true},{"name":"Dragomir Ž. Ðoković","is_ca":true},{"name":"Ilias Kotsireas","is_ca":true},{"name":"Vijay Ganesh","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08461102999157805,"gpt":0.3603761015870476,"spread":0.2757650715954696,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006691305,0.00008490871,0.0001515376,0.00003485322,0.00009959754,0.00005857351,0.0001635253,0.0000328377,0.000005904677],"category_scores_gemma":[0.00001895096,0.00005706974,0.00003719423,0.0001677054,0.00003771668,0.00003588785,0.00001913223,0.00005149345,0.00004295949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002234334,"about_ca_system_score_gemma":0.000007201611,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007563897,"about_ca_topic_score_gemma":0.00001002083,"domain_scores_codex":[0.9993595,0.00001389998,0.0002535612,0.00009953175,0.0001164038,0.0001571202],"domain_scores_gemma":[0.9990415,0.0005504162,0.00003974125,0.0001980199,0.0001189278,0.00005138164],"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.00002153118,0.00005383673,0.00001158328,0.0003083441,0.00003801834,1.060265e-7,0.001032109,0.002924127,0.002475061,0.9630966,0.00005020376,0.02998849],"study_design_scores_gemma":[0.00004383706,0.0004693056,0.000007014924,0.0001863624,0.00002978972,0.000005551869,0.007682336,0.08887771,0.2515309,0.6427016,0.008192424,0.0002731683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2233641,0.0005089245,0.7731084,0.0002984128,0.0001828481,0.001299955,0.00002714112,0.00004090177,0.001169314],"genre_scores_gemma":[0.9855304,0.0001204359,0.01405356,0.00001649955,0.00006955815,0.0001313691,0.000001421725,0.00001839098,0.00005839346],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7621663,"threshold_uncertainty_score":0.2327237,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1989224068","doi":"10.1007/s10472-006-9041-2","title":"An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs","year":2006,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Semidefinite programming; Satisfiability; Semidefinite embedding; Mathematical proof; Mathematics; Dimension (graph theory); Discrete mathematics; Grid; Characterization (materials science); Theoretical computer science; Combinatorics; Computer science; Quadratically constrained quadratic program; Mathematical optimization; Quadratic programming","authors":[{"name":"Miguel F. Anjos","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1218296641122958,"gpt":0.3611550192838475,"spread":0.2393253551715517,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009647281,0.0001107413,0.0002192053,0.00009062343,0.00006936806,0.00005134355,0.0003203771,0.00005264686,0.000003974916],"category_scores_gemma":[0.0001698781,0.0001019393,0.00005617732,0.0002133001,0.00009593677,0.0003658734,0.00003103865,0.00004464802,0.000001219924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003868144,"about_ca_system_score_gemma":0.00001716841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002712028,"about_ca_topic_score_gemma":0.00000996957,"domain_scores_codex":[0.9987292,0.00004490093,0.0006521671,0.000231294,0.0001965954,0.0001458066],"domain_scores_gemma":[0.9986909,0.0002267216,0.0004119704,0.0003821533,0.0002522447,0.00003603244],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001309949,0.0002657834,0.00005257304,0.0001205382,0.000003467977,8.087898e-8,0.0005940428,0.0001124699,0.06463222,0.8871742,0.000004535005,0.04702701],"study_design_scores_gemma":[0.00001030206,0.0002506806,0.000692653,0.00005477963,0.000002530943,4.792964e-7,0.00009050324,0.08961985,0.5592427,0.349913,0.00003861569,0.00008385746],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4613835,0.00001468176,0.5381329,0.00008209801,0.00007594948,0.0001630518,0.00002723337,0.0000164194,0.0001041757],"genre_scores_gemma":[0.7693368,0.00004749247,0.2304973,0.00004325352,0.00003663991,0.00002088608,0.000009266207,0.000005580978,0.000002843457],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5372612,"threshold_uncertainty_score":0.4156964,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1528496018","doi":"10.1023/a:1014444525059","title":"An Optimal Strategy for the Constrained Cycle Cover Problem","year":2002,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Computational Geometry and Mesh Generation","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"HEC Montréal; Université de Montréal; Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Mathematical optimization; Cover (algebra); Decomposition; Constraint (computer-aided design); Set cover problem; Set (abstract data type); Complex system; Theoretical computer science; Mathematics; Artificial intelligence; Engineering","authors":[{"name":"Gilles Pesant","is_ca":true},{"name":"Patrick Soriano","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1737186458389376,"gpt":0.3546069838677639,"spread":0.1808883380288263,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003820696,0.00007650792,0.0001020189,0.00003839078,0.0001399091,0.0001408541,0.0002677008,0.0000273838,0.00004926442],"category_scores_gemma":[0.00004683532,0.00005609518,0.0000414907,0.0001464806,0.00008229624,0.0002194327,0.00003078804,0.00003860148,0.000009340441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001329196,"about_ca_system_score_gemma":0.00001450645,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002935525,"about_ca_topic_score_gemma":0.00000181552,"domain_scores_codex":[0.9992895,0.00001360777,0.0002824917,0.0001510719,0.0001344994,0.0001288577],"domain_scores_gemma":[0.9991593,0.0003281182,0.0001070267,0.0001819793,0.0001774865,0.00004613004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002930296,0.0001797472,4.19617e-7,0.0000260354,0.00001211491,3.689309e-7,0.0009363295,0.07199851,0.0007506257,0.6515154,0.0001563311,0.2744212],"study_design_scores_gemma":[0.00001156107,0.0001650562,0.000003128705,0.00000984881,0.00000364067,0.000003899022,0.0001777661,0.8234091,0.02497247,0.1509594,0.0002226492,0.00006147629],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0178597,0.0002343665,0.9799435,0.001271046,0.0000467465,0.0002192783,0.000007318592,0.00001845329,0.0003995659],"genre_scores_gemma":[0.9045234,0.0000884953,0.0951314,0.0001418011,0.0000506119,0.00001445998,0.000001467361,0.000003590754,0.00004475918],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8866637,"threshold_uncertainty_score":0.2287495,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4210660386","doi":"10.1007/s10472-022-09784-4","title":"Computing triadic generators and association rules from triadic contexts","year":2022,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec en Outaouais","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Representation (politics); Preprocessor; Set (abstract data type); Computer science; Computation; Association (psychology); Association rule learning; Theoretical computer science; Artificial intelligence; Algorithm; Psychology; Programming language","authors":[{"name":"Rokia Missaoui","is_ca":true},{"name":"Pedro Henrique B. Ruas","is_ca":false},{"name":"Léonard Kwuida","is_ca":false},{"name":"Mark A. J. Song","is_ca":false},{"name":"Mohamed Hamza Ibrahim","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1062764992325128,"gpt":0.3187721550989978,"spread":0.212495655866485,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001138641,0.0001160216,0.0002799937,0.00007959791,0.0003026462,0.0001498003,0.0003153333,0.00004094748,0.0000299689],"category_scores_gemma":[0.000186156,0.0001063155,0.00005569895,0.0001804081,0.00004783666,0.0001202896,0.0003051247,0.000128133,0.000005626825],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001183937,"about_ca_system_score_gemma":0.00002693567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007884471,"about_ca_topic_score_gemma":0.000007066482,"domain_scores_codex":[0.998642,0.0000894577,0.0005057376,0.0002549196,0.0003095832,0.0001982811],"domain_scores_gemma":[0.9987332,0.0005496542,0.0003697754,0.0002010478,0.00007662796,0.00006967963],"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.00001491477,0.000361363,0.0003440985,0.00004217363,0.00008235883,0.000009462309,0.007968489,0.0004224288,0.001281643,0.5001801,0.0006433011,0.4886496],"study_design_scores_gemma":[0.00008060585,0.000257461,0.0003238892,0.00003740349,0.00001747785,0.000005418619,0.001201151,0.3540455,0.009388787,0.6336748,0.0007104366,0.0002571298],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8260921,0.001572616,0.1698967,0.001561646,0.0002867249,0.0001923741,0.0000405143,0.00004305089,0.0003143515],"genre_scores_gemma":[0.9732797,0.0002248651,0.02606118,0.0003373316,0.0000675436,0.000005688423,0.000004366897,0.000006550335,0.0000127839],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4883925,"threshold_uncertainty_score":0.4335421,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4380048657","doi":"10.1007/s10472-023-09844-3","title":"Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots","year":2023,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Software Engineering Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Maintainability; Cyclomatic complexity; Cohesion (chemistry); Computer science; Code (set theory); Separation of concerns; Coupling (piping); Software; Software engineering; Artificial intelligence; Reliability engineering; Programming language; Engineering","authors":[{"name":"Patrick Gavigan","is_ca":true},{"name":"Babak Esfandiari","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.4450014916976675,"gpt":0.4113975001879414,"spread":0.03360399150972609,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001562453,0.0001074891,0.0001704535,0.000162303,0.000171166,0.0001235153,0.0002737615,0.00003458111,8.737009e-7],"category_scores_gemma":[0.0009759566,0.00007446055,0.00001414407,0.0008248366,0.0000835909,0.0001799089,0.0001905018,0.0001570531,0.0000052303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000042328,"about_ca_system_score_gemma":0.00002567696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003978445,"about_ca_topic_score_gemma":0.00002682986,"domain_scores_codex":[0.9989465,0.00005659003,0.0003308296,0.0002160249,0.0002365978,0.0002134153],"domain_scores_gemma":[0.9944455,0.005023754,0.00008048974,0.0003090982,0.00009082501,0.00005031952],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001572476,0.0002267716,0.6381553,0.0003286131,0.00003609087,0.0003212053,0.02543876,0.2823377,0.00001310593,0.006116098,0.000003091664,0.04700746],"study_design_scores_gemma":[0.00005050297,0.0008279584,0.1040051,0.0003172791,0.000009271633,0.0001029713,0.005180215,0.881877,0.001886986,0.005516825,0.00000294818,0.0002228957],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7794493,0.00007223009,0.2199415,0.00007160956,0.00001061978,0.0003893358,7.214632e-7,0.00006370947,9.588972e-7],"genre_scores_gemma":[0.9876603,0.00002900436,0.01225872,0.000003941648,0.00000870132,0.00002259957,3.516916e-7,0.000009856523,0.0000065182],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5995393,"threshold_uncertainty_score":0.3036413,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2045652725","doi":"10.1007/s10472-013-9349-7","title":"A model for learning the news in social networks","year":2013,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Caching and Content Delivery","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"","keywords":"Timestamp; Computer science; Set (abstract data type); Social network (sociolinguistics); Scheme (mathematics); Search engine indexing; Social media; Theoretical computer science; Information retrieval; World Wide Web; Mathematics; Computer security","authors":[{"name":"Krishnan Rajagopalan","is_ca":false},{"name":"Venkatesh Srinivasan","is_ca":true},{"name":"Alex Thomo","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.199494557054356,"gpt":0.3370618862868441,"spread":0.1375673292324881,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004154489,0.00007288497,0.0001338953,0.00003965109,0.0001403538,0.000123569,0.0002973537,0.00003576372,0.00000241439],"category_scores_gemma":[0.00008752538,0.00005239775,0.00006110352,0.0001130756,0.00005196783,0.0001419872,0.00008974845,0.0001050171,0.000003761217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001941386,"about_ca_system_score_gemma":0.00001214129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008306479,"about_ca_topic_score_gemma":0.00003712555,"domain_scores_codex":[0.9992953,0.00001907462,0.0002903999,0.0001307159,0.00009293392,0.0001715793],"domain_scores_gemma":[0.9994122,0.0002378916,0.0001033586,0.0001237605,0.0000981741,0.00002461397],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003995569,0.0001121221,0.00003233787,0.00003288931,0.00001038588,3.53108e-7,0.005172024,0.04248171,0.0005433887,0.669899,0.0004764944,0.2812353],"study_design_scores_gemma":[0.000006733014,0.00002197917,0.000007708979,0.00001782351,0.000001315534,4.86594e-7,0.0004984784,0.7574095,0.0002914978,0.2416825,0.00001357098,0.00004842531],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08446736,0.0001074506,0.9122426,0.002819574,0.00003247652,0.000176412,4.33528e-7,0.00001514847,0.0001385497],"genre_scores_gemma":[0.9939151,0.00008148346,0.005561513,0.00028381,0.00004665998,0.00002915335,3.025544e-7,0.000004460378,0.00007749912],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9094478,"threshold_uncertainty_score":0.2136718,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2016444913","doi":"10.1007/s10472-011-9246-x","title":"Remarks on the future of AI: machines and communication","year":2011,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Ethics and Social Impacts of AI","field":"Social Sciences","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Tracing; Complex system; Communications system; Cognitive science; Natural (archaeology); Artificial intelligence; Human communication; Data science; Human–computer interaction; Communication; Sociology; Psychology; Telecommunications; Biology","authors":[{"name":"Michael M. Richter","is_ca":true},{"name":"Sebastian von Mammen","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2479247790304797,"gpt":0.4220563265320186,"spread":0.174131547501539,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001615978,0.00006318805,0.0001384879,0.00002987584,0.0002966163,0.00003957975,0.0002018174,0.00008010833,0.00006553132],"category_scores_gemma":[0.0005367905,0.00004318371,0.00003688268,0.00009635677,0.0007089565,0.00009690537,0.00004612559,0.0001483303,0.000001696402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001503289,"about_ca_system_score_gemma":0.00002948223,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007734324,"about_ca_topic_score_gemma":0.0009163374,"domain_scores_codex":[0.9992886,0.0000898223,0.0002598521,0.00007086124,0.0001843175,0.0001066064],"domain_scores_gemma":[0.9988378,0.0004915898,0.0001701603,0.0001777825,0.0002746189,0.00004809248],"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.000006323576,0.00008486117,0.00005176138,0.0000233829,0.000009451498,1.178842e-7,0.0472404,2.847123e-7,0.00007963199,0.927489,0.0001268917,0.02488791],"study_design_scores_gemma":[0.000004554974,0.00006864778,0.0001373687,0.00008937283,0.000006812777,1.582805e-7,0.02304333,0.0002490469,0.007270927,0.9686267,0.0004482984,0.00005482594],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8620703,0.00180946,0.001138317,0.0693788,0.0001418863,0.0004010573,0.00001543721,0.00002112188,0.06502366],"genre_scores_gemma":[0.993836,0.004369085,0.001160481,0.0005397676,0.00004823295,0.000001933592,3.492443e-7,0.00000442968,0.00003968202],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1317658,"threshold_uncertainty_score":0.261218,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3164395633","doi":"10.1007/s10472-021-09748-0","title":"Learning tractable NAT-modeled Bayesian networks","year":2021,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Guelph","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Bayesian network; Conditional independence; Exponential family; Treewidth; Nat; Graphical model; Inference; Computer science; Artificial intelligence; Mathematics; Machine learning; Theoretical computer science; Statistics; Graph","authors":[{"name":"Yang Xiang","is_ca":true},{"name":"Qian Wang","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1055830794934113,"gpt":0.3268030460205786,"spread":0.2212199665271673,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005425177,0.0001418115,0.000265653,0.00005499435,0.0001446339,0.0001993813,0.0003388389,0.0000843019,0.00003093473],"category_scores_gemma":[0.0001848291,0.0001355799,0.00007675374,0.000320759,0.00006799707,0.0002400471,0.0001553276,0.0002196202,0.00001055303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002926976,"about_ca_system_score_gemma":0.00006135103,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001475061,"about_ca_topic_score_gemma":0.000009072419,"domain_scores_codex":[0.9986657,0.00004582856,0.0004826845,0.0003045851,0.0002102592,0.0002909231],"domain_scores_gemma":[0.9988777,0.0002142555,0.0001602411,0.0003170373,0.0003180359,0.0001127461],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000268592,0.0002215741,0.00001282552,0.00006115533,0.00002184536,0.00001680604,0.001345882,0.02066612,0.001693045,0.752728,0.00005072074,0.2231793],"study_design_scores_gemma":[0.000007292536,0.00005481443,0.000002855049,0.00008177097,0.000004100632,0.00001277419,0.0003059882,0.7364056,0.04578383,0.2171669,0.00005521367,0.0001189488],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01866644,0.0005762187,0.9782208,0.0009656899,0.00008620112,0.00005145364,8.261334e-7,0.00005591478,0.001376499],"genre_scores_gemma":[0.9281904,0.0005987525,0.07084934,0.0001801447,0.00003956146,0.000003946496,0.000001434046,0.000009106873,0.0001272969],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.909524,"threshold_uncertainty_score":0.5528789,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4393044795","doi":"10.1007/s10472-024-09939-5","title":"Multi-resolution continuous normalizing flows","year":2024,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Fluid Dynamics and Turbulent Flows","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University; Polytechnique Montréal; Mila - Quebec Artificial Intelligence Institute; Cegep Edouard Montpetit","funders":"Air Force Office of Scientific Research; Canadian Institute for Advanced Research","keywords":"Complex system; Mathematics; Resolution (logic); Computer science; Statistical physics; Physics; Artificial intelligence","authors":[{"name":"Vikram Voleti","is_ca":true},{"name":"Christopher C. Finlay","is_ca":true},{"name":"Adam M. Oberman","is_ca":true},{"name":"Christopher Pal","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07029291007194335,"gpt":0.3000065180827615,"spread":0.2297136080108182,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002310263,0.0001125079,0.0001597572,0.00008539436,0.00003522392,0.00007774229,0.00008027072,0.00005143252,0.00003095519],"category_scores_gemma":[0.00003016609,0.000102409,0.0000614806,0.0001192248,0.0000384463,0.0000908631,0.00002616109,0.00008860203,0.00004085863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003797156,"about_ca_system_score_gemma":0.000006104864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001676291,"about_ca_topic_score_gemma":0.0000209649,"domain_scores_codex":[0.9992604,0.000004726677,0.0003497223,0.0001124879,0.0001019007,0.0001707912],"domain_scores_gemma":[0.9997019,0.00006968502,0.0000201705,0.000113553,0.0000464745,0.00004821112],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006910782,0.0002607369,0.00001443612,0.002286484,0.0001858725,0.00003854528,0.004639609,0.2241477,0.04578019,0.5048818,0.0008494785,0.2169082],"study_design_scores_gemma":[0.000005390016,0.0000230773,0.000004370173,0.0001983457,0.000009202994,0.000004778792,0.0001231676,0.9729869,0.01292619,0.0128977,0.0007106233,0.0001102838],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3924094,0.007426597,0.5978363,0.0001982767,0.0005866694,0.0001848794,0.00003221229,0.000238962,0.001086643],"genre_scores_gemma":[0.9789747,0.001355104,0.01952196,0.00001738935,0.00005892028,0.000006082224,0.00000348712,0.00002284473,0.00003948337],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7488391,"threshold_uncertainty_score":0.4176117,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2793317393","doi":"10.1007/s10472-018-9578-x","title":"Efficient suspect selection in unreachable state diagnosis","year":2018,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Benchmark (surveying); Suspect; Computer science; Set (abstract data type); Root cause; Root (linguistics); Root cause analysis; Speedup; Selection (genetic algorithm); State (computer science); Process (computing); Algorithm; Mathematical optimization; Reliability engineering; Machine learning; Mathematics; Parallel computing; Programming language; Engineering","authors":[{"name":"Ryan Berryhill","is_ca":true},{"name":"Andreas Veneris","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1215684213925238,"gpt":0.3374677578527973,"spread":0.2158993364602735,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006664616,0.00009686904,0.0001679197,0.000142105,0.00009161831,0.00007796248,0.0002473498,0.00002863458,0.00001504441],"category_scores_gemma":[0.0002242232,0.00008848468,0.00003350865,0.0005021972,0.0001021875,0.00008138158,0.00008365965,0.00007161455,0.00002333078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006123893,"about_ca_system_score_gemma":0.00002483393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001275728,"about_ca_topic_score_gemma":0.0001308445,"domain_scores_codex":[0.9989597,0.00002285473,0.000392684,0.000220965,0.0001622507,0.0002415662],"domain_scores_gemma":[0.9992926,0.0002159665,0.0001322477,0.0001395014,0.0001652539,0.00005441747],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001238208,0.0007425156,0.001739059,0.0001112033,0.00001596775,0.00000832155,0.007732539,0.002697513,0.006080019,0.369838,0.00007290229,0.6109607],"study_design_scores_gemma":[0.00001044137,0.0001677531,0.0002550053,0.0001353923,0.000001919623,0.000005350208,0.0002202211,0.6170095,0.212247,0.1698033,0.0000225989,0.0001215203],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5757998,0.0000853504,0.4230175,0.0003092381,0.00004881683,0.00008465784,0.000001061745,0.00003230253,0.0006212395],"genre_scores_gemma":[0.9942582,0.00005847837,0.005551804,0.00006753379,0.00003728471,0.000007144165,1.446864e-7,0.000005234644,0.00001418739],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6143119,"threshold_uncertainty_score":0.36083,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4406809796","doi":"10.1007/s10472-024-09963-5","title":"Filters-based revision","year":2025,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Complex system; Computer science; Mathematics; Artificial intelligence","authors":[{"name":"Maria Andrikopoulou","is_ca":false},{"name":"Theofanis Aravanis","is_ca":false},{"name":"James P. Delgrande","is_ca":true},{"name":"Panagis Karazeris","is_ca":false},{"name":"Pavlos Peppas","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1112894951979901,"gpt":0.3573216929110658,"spread":0.2460321977130757,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000490632,0.000103193,0.0001966484,0.000105339,0.00008928758,0.00009565976,0.0004305291,0.0000473947,0.0000238859],"category_scores_gemma":[0.0002670986,0.00008330296,0.00007059673,0.0002981114,0.00008763076,0.0001053883,0.0001381957,0.00006449119,0.00002495669],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002769132,"about_ca_system_score_gemma":0.00004383656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007763851,"about_ca_topic_score_gemma":0.00000398376,"domain_scores_codex":[0.9991195,0.00002196649,0.0003580418,0.0002062665,0.0001299868,0.0001642469],"domain_scores_gemma":[0.9990512,0.0002675004,0.0001166593,0.0003478021,0.0001683396,0.00004856501],"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.000002370201,0.0001413908,0.00001419026,0.000122894,0.000007079163,0.000001530609,0.0004382051,0.00003357972,0.0003990487,0.8287926,0.0006855202,0.1693616],"study_design_scores_gemma":[0.00001589301,0.0001021607,0.00002255769,0.0003379652,0.000006499892,0.000001071066,0.0001579019,0.2345909,0.2182715,0.5437502,0.002609495,0.0001339707],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01168861,0.0006391388,0.9795178,0.001735237,0.0001422056,0.0001096792,0.000001680054,0.00004144543,0.006124264],"genre_scores_gemma":[0.9476937,0.0002138984,0.05132108,0.0005388552,0.00002510185,0.000005982392,7.96083e-7,0.000004307589,0.0001962995],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9360051,"threshold_uncertainty_score":0.3396996,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4376870868","doi":"10.1007/s10472-023-09855-0","title":"Correction to: Preface: Selected revised papers from the LION 15 conference","year":2023,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Muon and positron interactions and applications","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Library science; Complex system; Computer science; Artificial intelligence","authors":[{"name":"Ilias Kotsireas","is_ca":true},{"name":"Pãnos M. Pardalos","is_ca":false},{"name":"Dimitris E. Simos","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09928665120890265,"gpt":0.3323869590967052,"spread":0.2331003078878026,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001124417,0.00007299141,0.00009809468,0.00003666442,0.00008495272,0.00004643534,0.00009267819,0.00002536858,0.0001729398],"category_scores_gemma":[0.00009114163,0.00005549108,0.00002849002,0.0003513741,0.00002619084,0.00003128115,0.00001743044,0.00008023072,0.0001249332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000248194,"about_ca_system_score_gemma":0.000007000801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004315164,"about_ca_topic_score_gemma":0.00006458096,"domain_scores_codex":[0.9994931,0.000007114191,0.0002299123,0.00008755251,0.00007813178,0.0001042515],"domain_scores_gemma":[0.9994295,0.0002579531,0.00003497964,0.0001383605,0.00009541886,0.00004374575],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003113025,0.0002396597,0.0001243913,0.0002048696,0.0001729089,0.000001389173,0.01399815,0.02177263,0.3046617,0.1244079,0.1372242,0.397161],"study_design_scores_gemma":[0.00001496866,0.00007227185,0.0009880054,0.0003691916,0.00002322473,0.000001875668,0.002880222,0.5993978,0.3607913,0.02069969,0.01452827,0.0002331095],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.923541,0.0001443321,0.06745369,0.002275678,0.0006996907,0.0004216336,0.00006296652,0.0002650808,0.005135909],"genre_scores_gemma":[0.9986231,0.0005442927,0.0004186663,0.00008246618,0.00005057229,0.00002770802,0.00001133973,0.000008652755,0.0002331655],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5776252,"threshold_uncertainty_score":0.2262861,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4406083866","doi":"10.1007/s10472-024-09958-2","title":"Guest editorial: Revised selected papers from the LION 16 conference","year":2025,"lang":"en","type":"editorial","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Scientific Computing and Data Management","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Complex system; Computer science; Cognitive science; Artificial intelligence; Psychology","authors":[{"name":"Ilias Kotsireas","is_ca":true},{"name":"Pãnos M. Pardalos","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.206609024304689,"gpt":0.4196426037209885,"spread":0.2130335794162995,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.007537371,0.0003325466,0.0007390614,0.0002094265,0.0003216508,0.001301339,0.002275659,0.0003566801,0.0002066717],"category_scores_gemma":[0.04366966,0.0002099599,0.0001737144,0.001162634,0.0003705917,0.0001278926,0.0008021854,0.0005056293,0.0001054848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001362118,"about_ca_system_score_gemma":0.0003108129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004120515,"about_ca_topic_score_gemma":0.0002540907,"domain_scores_codex":[0.9939084,0.000232247,0.001752994,0.000967288,0.002801715,0.0003373669],"domain_scores_gemma":[0.9788693,0.01552691,0.001106934,0.001681584,0.002707351,0.0001079069],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001824537,0.00009911118,0.000001653146,0.00004888713,0.00004430187,9.630151e-7,0.0005231749,0.000009942044,0.00004858393,0.004535316,0.9593254,0.0353444],"study_design_scores_gemma":[0.00001910605,0.00005476322,0.000002822891,0.0006323304,0.00005170293,8.725041e-8,0.001148694,0.001754862,0.001258127,0.1168572,0.8780065,0.0002138209],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0002845481,0.0004081723,0.00977256,0.001614023,0.9846641,0.0003718012,0.0005835889,0.00004443431,0.00225676],"genre_scores_gemma":[0.004127341,0.001195186,0.000857389,0.0001214608,0.9913033,0.00001603758,0.0002408767,0.00002088689,0.002117516],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1123219,"threshold_uncertainty_score":0.9997354,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4391400188","doi":"10.1007/s10472-023-09908-4","title":"A knowledge compilation perspective on queries and transformations for belief tracking","year":2024,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Minnow Environmental (Canada)","funders":"Agence Nationale de la Recherche","keywords":"Succinctness; Nondeterministic algorithm; Computer science; Theoretical computer science; Action (physics); State (computer science); Belief revision; Perspective (graphical); Artificial intelligence; Algorithm","authors":[{"name":"Alexandre Niveau","is_ca":false},{"name":"Héctor Palacios","is_ca":true},{"name":"Sergej Scheck","is_ca":false},{"name":"Bruno Zanuttini","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1747475919943166,"gpt":0.39334058518358,"spread":0.2185929931892634,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004183515,0.00008510685,0.0001219719,0.0001033845,0.0001507877,0.0001960159,0.00009953127,0.0000338483,0.000002492636],"category_scores_gemma":[0.00007769713,0.00007377803,0.00003975654,0.000143219,0.00006083441,0.0002559995,0.0000183913,0.00006739637,0.000003918598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004793248,"about_ca_system_score_gemma":0.00002795017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008781077,"about_ca_topic_score_gemma":0.00001119464,"domain_scores_codex":[0.9993923,0.00001261137,0.0002466121,0.0001579998,0.00007670907,0.0001137501],"domain_scores_gemma":[0.9990831,0.0006034267,0.00004701995,0.00009169733,0.0001391088,0.00003566474],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003169444,0.00004758108,0.000001522195,0.0002094794,0.00001201676,3.987594e-7,0.02908831,0.0001755285,0.0002356745,0.8813165,0.000067952,0.08884186],"study_design_scores_gemma":[0.000008090021,0.0001698589,0.000007472687,0.0003976009,0.000006425747,0.000003346893,0.001869312,0.4924077,0.0229942,0.4816391,0.0004114491,0.00008543627],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01111316,0.001627234,0.9830266,0.002803817,0.00007836088,0.0001732243,0.00002327257,0.00005692311,0.001097447],"genre_scores_gemma":[0.9709734,0.0001560605,0.02873905,0.0000534461,0.00003253876,0.00001229365,0.000002284664,0.000005939665,0.00002502022],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9598602,"threshold_uncertainty_score":0.3008581,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4406480091","doi":"10.1007/s10472-025-09966-w","title":"Energy disaggregation via Bayesian non-negative matrix factorization with sum-to-k constraint","year":2025,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Blind Source Separation Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Constraint (computer-aided design); Complex system; Factorization; Bayesian probability; Matrix (chemical analysis); Matrix decomposition; Bayesian network; Mathematics; Applied mathematics; Energy (signal processing); Mathematical optimization; Computer science; Algebra over a field; Algorithm; Artificial intelligence; Pure mathematics; Physics; Statistics; Quantum mechanics; Materials science","authors":[{"name":"Oumayma Dalhoumi","is_ca":true},{"name":"Manar Amayri","is_ca":true},{"name":"Nizar Bouguila","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04203839224597804,"gpt":0.3340509652487864,"spread":0.2920125730028083,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003103831,0.000126049,0.0001905529,0.0001900969,0.00008291582,0.0001320289,0.0002657245,0.00005458344,0.000006310371],"category_scores_gemma":[0.00008057644,0.0001060269,0.00003235016,0.0005086035,0.0001013291,0.0002398901,0.00008346636,0.00005922408,0.000002964313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000696971,"about_ca_system_score_gemma":0.0000571892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005713018,"about_ca_topic_score_gemma":0.00005670565,"domain_scores_codex":[0.9990176,0.00003049441,0.0003967919,0.000227398,0.0001886996,0.0001390492],"domain_scores_gemma":[0.9990041,0.0001990382,0.000185189,0.0002598844,0.0002906212,0.00006114274],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000006349036,0.0001047619,0.00001870902,0.00003584659,0.00001690953,7.402024e-7,0.002646333,0.0002156094,0.002206928,0.9127346,0.00004707509,0.08196611],"study_design_scores_gemma":[0.00001077317,0.0001193902,0.00002218865,0.0001432708,0.000004042426,0.000001275389,0.0002849711,0.1435037,0.4472303,0.4085203,0.00005882518,0.00010092],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006219608,0.00001735571,0.990406,0.002124957,0.0000387863,0.0001942882,0.000003497909,0.00005930897,0.0009362371],"genre_scores_gemma":[0.8769172,0.00003410233,0.1226416,0.0003175068,0.00000966662,0.00001586726,0.000001841553,0.000005172225,0.00005704016],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8706976,"threshold_uncertainty_score":0.432365,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4323825557","doi":"10.1007/s10472-023-09838-1","title":"Preface: Selected revised papers from the LION 15 conference","year":2023,"lang":"en","type":"editorial","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Origins and Evolution of Life","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Complex system; Computer science; Cognitive science; Artificial intelligence; Psychology","authors":[{"name":"Ilias Kotsireas","is_ca":true},{"name":"Pãnos M. Pardalos","is_ca":false},{"name":"Dimitris E. Simos","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08913233811127177,"gpt":0.3410295004330448,"spread":0.2518971623217731,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004676408,0.0002782246,0.000478621,0.00004519241,0.0001703229,0.0001415997,0.0003896111,0.0001894649,0.0005478885],"category_scores_gemma":[0.0004437343,0.0002008987,0.0001389763,0.0002628173,0.0001806509,0.00005966042,0.0001154699,0.0004171504,0.00009922939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004778707,"about_ca_system_score_gemma":0.000176716,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000451176,"about_ca_topic_score_gemma":0.00004116704,"domain_scores_codex":[0.9981839,0.00003892226,0.0006947789,0.0003248167,0.0004742928,0.0002832744],"domain_scores_gemma":[0.9968362,0.001639828,0.0004972159,0.0003763282,0.0005612785,0.00008919089],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001731491,0.0001654281,0.00002948451,0.000123503,0.0001800386,7.239217e-7,0.001000711,0.00002436356,0.0002730254,0.04557589,0.9402478,0.01236176],"study_design_scores_gemma":[0.00007319224,0.0002208673,0.0000459145,0.00192193,0.0002137127,1.112463e-7,0.003325426,0.006846386,0.01219143,0.2723341,0.701956,0.0008709236],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.04746125,0.001563446,0.0232994,0.005080412,0.9033738,0.002062182,0.009012597,0.0003297465,0.007817194],"genre_scores_gemma":[0.2443795,0.00335232,0.001813632,0.0001083974,0.7460538,0.0001128735,0.001377707,0.0001913535,0.002610458],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.2382917,"threshold_uncertainty_score":0.819241,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4254008670","doi":"10.1007/s10472-019-09677-z","title":"Guest editorial: revised selected papers from the LION 12 conference","year":2019,"lang":"en","type":"editorial","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Intelligent Tutoring Systems and Adaptive Learning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Complex system; Computer science; Library science; Cognitive science; Artificial intelligence; Psychology","authors":[{"name":"Ilias Kotsireas","is_ca":true},{"name":"Pãnos M. Pardalos","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08136435086754375,"gpt":0.313219814734329,"spread":0.2318554638667853,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001447116,0.0004359566,0.000770197,0.00009052181,0.0002177344,0.0005872731,0.001597645,0.0005484744,0.00002739647],"category_scores_gemma":[0.002817257,0.0003143179,0.0001760983,0.0003016417,0.0001424374,0.0002223234,0.0003774425,0.0008762421,0.0001109121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001842277,"about_ca_system_score_gemma":0.0003052143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004456211,"about_ca_topic_score_gemma":0.00004668588,"domain_scores_codex":[0.9964661,0.0001687085,0.001091134,0.00066845,0.001177269,0.0004283248],"domain_scores_gemma":[0.9928831,0.003666222,0.001001413,0.0009263577,0.001419663,0.0001032857],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000178862,0.000139631,0.000005181369,0.000321887,0.0001391077,0.000004273615,0.003519857,0.00005023177,0.001354845,0.1198456,0.8675427,0.00705879],"study_design_scores_gemma":[0.00002425195,0.0002117092,0.000002878755,0.001783309,0.00003480687,7.418318e-7,0.0004082971,0.00365373,0.008415407,0.010618,0.9743939,0.0004529536],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0001982187,0.0005913359,0.05578584,0.0004930136,0.9416602,0.0004736946,0.00007067485,0.00008896601,0.00063801],"genre_scores_gemma":[0.004470294,0.001507172,0.002144435,0.00005420213,0.9904493,0.00002081219,0.00004969051,0.00004718647,0.001256902],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1092276,"threshold_uncertainty_score":0.9999309,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4288685268","doi":"10.1007/s10472-022-09808-z","title":"Preface selected revised papers from the LION 14 conference","year":2022,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"History and advancements in chemistry","field":"Chemistry","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Complex system; Computer science; Cognitive science; Library science; Artificial intelligence; Psychology","authors":[{"name":"Ilias Kotsireas","is_ca":true},{"name":"Pãnos M. Pardalos","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1146941984437951,"gpt":0.320647286662306,"spread":0.2059530882185109,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002398951,0.0001251004,0.0001810914,0.00001128489,0.000309357,0.00002538585,0.0003315801,0.00003673482,0.003924572],"category_scores_gemma":[0.0002492173,0.0001031521,0.00004927689,0.0001310839,0.0001528749,0.00003876497,0.0001382016,0.000224675,0.000006869927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001064627,"about_ca_system_score_gemma":0.00003928818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001401823,"about_ca_topic_score_gemma":0.000004538656,"domain_scores_codex":[0.9989563,0.00001571704,0.0003904178,0.0002108303,0.0002648777,0.0001618062],"domain_scores_gemma":[0.9990013,0.0003055857,0.000231483,0.0003048568,0.0001090425,0.00004768059],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00007959877,0.0006370056,0.00009127919,0.0003593375,0.0001081017,0.000007499521,0.006907993,0.0004158722,0.9092736,0.02836617,0.001596668,0.05215688],"study_design_scores_gemma":[0.00002666559,0.00003458828,0.000004114632,0.000133574,0.00002421794,0.00000315741,0.004242697,0.002731798,0.9350663,0.03876734,0.01877348,0.0001920851],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9832655,0.001039919,0.00195388,0.0009440869,0.0001111287,0.000129802,0.0001909321,0.00005173464,0.01231297],"genre_scores_gemma":[0.9977407,0.0003071492,0.0008414463,0.0001682643,0.00005736477,0.00002493239,0.00002384608,0.00001210252,0.0008242005],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05196479,"threshold_uncertainty_score":0.996986,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3021101329","doi":"10.1007/s10472-020-09698-z","title":"Leveraging cluster backbones for improving MAP inference in statistical relational models","year":2020,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Inference; Computer science; Scalability; Smoothing; Maximum a posteriori estimation; A priori and a posteriori; Relational database; Belief propagation; Theoretical computer science; Parameterized complexity; Algorithm; Artificial intelligence; Machine learning; Data mining; Mathematics","authors":[{"name":"Mohamed Hamza Ibrahim","is_ca":true},{"name":"Christopher Pal","is_ca":true},{"name":"Gilles Pesant","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2914441280349899,"gpt":0.361300990355432,"spread":0.06985686232044208,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000445973,0.0001209012,0.0002185597,0.00005807422,0.00005976621,0.00009299008,0.0002823251,0.00005484543,0.000006856801],"category_scores_gemma":[0.0003835051,0.000114364,0.00003754764,0.0001358496,0.00006949426,0.0003210065,0.0001400865,0.0001159983,0.000006868055],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003583086,"about_ca_system_score_gemma":0.00005571825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002007274,"about_ca_topic_score_gemma":0.000005299446,"domain_scores_codex":[0.9987537,0.00002150391,0.0005406576,0.0002878123,0.0001794899,0.0002168132],"domain_scores_gemma":[0.9987562,0.0007032321,0.0001310314,0.0001473633,0.0001636655,0.00009854961],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009322436,0.00005996778,0.00001198805,0.0001844145,0.000004256313,0.00000111192,0.003126713,0.01413004,0.0003718327,0.9332386,0.00002313095,0.04883857],"study_design_scores_gemma":[0.00001322155,0.00004957447,0.000004254915,0.00004059699,0.000001665317,4.180285e-7,0.000136843,0.5678163,0.002349282,0.4295061,0.00000631801,0.00007538788],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009332507,0.00009188052,0.9859128,0.004344589,0.00004303198,0.0001629763,0.000009781505,0.00002457092,0.00007786803],"genre_scores_gemma":[0.7200005,0.00001850114,0.2795457,0.0003913174,0.00002339323,0.000009475937,0.000001746305,0.000005314514,0.000004040653],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.710668,"threshold_uncertainty_score":0.4663627,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}