{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":4,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":4,"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":"97e53552baf1","filters":{"venue":"Journal of Computer Languages"}},"results":[{"id":"W4383371856","doi":"10.1016/j.cola.2023.101223","title":"Model consistency as a heuristic for eventual correctness","year":2023,"lang":"en","type":"article","venue":"Journal of Computer Languages","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":11,"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":"Correctness; Computer science; Consistency (knowledge bases); Assertion; Heuristics; Intuition; Theoretical computer science; Programming language; Artificial intelligence; Cognitive science; Psychology","authors":[{"name":"István Dávid","is_ca":true},{"name":"Hans Vangheluwe","is_ca":false},{"name":"Eugene Syriani","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02117095997389035,"gpt":0.2961003219863029,"spread":0.2749293620124125,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01505408,0.001058207,0.001743086,0.0035039,0.002920154,0.003954797,0.004128224,0.002669991,0.007084384],"category_scores_gemma":[0.1044309,0.001770999,0.00340268,0.002074528,0.004951473,0.01033326,0.007297263,0.006681955,0.0007621842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002196276,"about_ca_system_score_gemma":0.00413935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00175511,"about_ca_topic_score_gemma":0.00335752,"domain_scores_codex":[0.9820742,0.008854955,0.001065359,0.001948595,0.004696113,0.001360729],"domain_scores_gemma":[0.8925902,0.07769182,0.002426331,0.01960009,0.006425959,0.001265643],"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.001285398,0.0006695865,0.0108869,0.0006979504,0.0003464109,0.0007728109,0.001288696,0.1478646,0.00623122,0.680572,0.007770889,0.1416136],"study_design_scores_gemma":[0.0001207533,0.0002061137,0.0004789463,0.0001224042,0.0002066792,0.0002594336,0.000310658,0.4911818,0.009867196,0.4942693,0.002921962,0.00005482426],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04099009,0.0001579042,0.9504751,0.00127841,0.0001337621,0.0002173183,0.0001083306,0.001671633,0.004967432],"genre_scores_gemma":[0.5864574,0.00008663375,0.410265,0.0004092775,0.00007987944,0.0001880393,0.0002817057,0.000681517,0.001550557],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01505408,"threshold_uncertainty_score":0.07961452,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4388949125","doi":"10.1016/j.cola.2023.101251","title":"Requirements development for IoT systems with UCM4IoT","year":2023,"lang":"en","type":"article","venue":"Journal of Computer Languages","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada; Toronto Metropolitan University","keywords":"Computer science; Syntax; Domain-specific language; Software engineering; Domain (mathematical analysis); Modeling language; Internet of Things; Specification language; Requirements analysis; Development (topology); System requirements specification; Systems engineering; Programming language; Artificial intelligence; World Wide Web; Engineering","authors":[{"name":"Paul Boutot","is_ca":true},{"name":"Mirza Rehenuma Tabassum","is_ca":true},{"name":"Abdul Abedin","is_ca":true},{"name":"Sadaf Mustafiz","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01759058733450146,"gpt":0.2718590152253941,"spread":0.2542684278908927,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003999059,0.0007430579,0.0004607196,0.001187895,0.0008959698,0.002653088,0.001478116,0.0009198994,0.007679369],"category_scores_gemma":[0.008720893,0.0007866211,0.001470544,0.000579475,0.0006300125,0.001533056,0.002014796,0.001141101,0.001745421],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001448158,"about_ca_system_score_gemma":0.002961321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008117641,"about_ca_topic_score_gemma":0.008084907,"domain_scores_codex":[0.9949338,0.002132512,0.000460213,0.0003362476,0.001573352,0.0005640204],"domain_scores_gemma":[0.9961268,0.002057586,0.0003062691,0.000449156,0.0009369357,0.0001232437],"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.001069611,0.0006198029,0.007851181,0.001691971,0.0002392999,0.004611186,0.00439007,0.3493911,0.09513454,0.1652019,0.01907877,0.3507206],"study_design_scores_gemma":[0.0001336136,0.0002075203,0.001363375,0.0003031767,0.0001009735,0.000706746,0.0009015519,0.8556103,0.04832221,0.01805287,0.0742233,0.00007450028],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08124395,0.000144657,0.8626512,0.0007329443,0.00005108855,0.001362806,0.000862535,0.004924368,0.04802649],"genre_scores_gemma":[0.3763443,0.0001475601,0.6095748,0.000240164,0.00001550142,0.0009177066,0.001896347,0.0009573476,0.009906257],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008117641,"threshold_uncertainty_score":0.02569008,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3196991194","doi":"10.1016/j.cola.2021.101062","title":"Instruction visibility in SPEC CPU2017","year":2021,"lang":"en","type":"article","venue":"Journal of Computer Languages","topic":"Parallel Computing and Optimization Techniques","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":"University of Alberta","funders":"Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Spec#; Visibility; Computer science; Programming language; Geography; Meteorology","authors":[{"name":"Andrei Rimsa","is_ca":false},{"name":"José Nelson Amaral","is_ca":true},{"name":"Fernando Magno Quintão Pereira","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01039697032487042,"gpt":0.2802465246359772,"spread":0.2698495543111068,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001389488,0.0007916722,0.0004435143,0.001134805,0.001022814,0.001676376,0.001068479,0.0005841728,0.00925028],"category_scores_gemma":[0.008195631,0.0006192473,0.0005166565,0.001742315,0.0006408835,0.001991552,0.001099,0.001194444,0.001313159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00124325,"about_ca_system_score_gemma":0.003150428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008356094,"about_ca_topic_score_gemma":0.01225271,"domain_scores_codex":[0.9978538,0.0003728888,0.0001471459,0.0002718468,0.0008159174,0.0005384021],"domain_scores_gemma":[0.9959744,0.001278792,0.0002118802,0.00122019,0.001101006,0.0002137885],"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.006296119,0.0009100381,0.02995806,0.000868694,0.0002168585,0.0009523438,0.001430632,0.122384,0.04401168,0.1596991,0.2003484,0.4329241],"study_design_scores_gemma":[0.000498007,0.0009849233,0.01678238,0.0003127661,0.0002590637,0.0005926897,0.0006236432,0.5580429,0.1253731,0.1254556,0.1708918,0.0001832378],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8753319,0.002524362,0.03826856,0.0008910766,0.0007996099,0.00006157066,0.004330048,0.02039404,0.05739895],"genre_scores_gemma":[0.967567,0.0002704793,0.01553896,0.0002185863,0.00006392385,0.0000323988,0.004858801,0.002760576,0.008689262],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00925028,"threshold_uncertainty_score":0.0309453,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4386511067","doi":"10.1016/j.cola.2023.101238","title":"A comparison of three solver-aided programming languages: α Rby, ProB, and Rosette","year":2023,"lang":"en","type":"article","venue":"Journal of Computer Languages","topic":"Model-Driven Software Engineering Techniques","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é de Sherbrooke","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Solver; Computer science; Programming language; Domain (mathematical analysis); Exploit; Software; Premise; Constraint programming; Domain-specific language; Theoretical computer science; Mathematics; Stochastic programming; Mathematical optimization","authors":[{"name":"Richard St‐Denis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02003936770226682,"gpt":0.2781056956162871,"spread":0.2580663279140202,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0035026,0.0008389318,0.0005685133,0.001085831,0.0005807304,0.003137731,0.002455652,0.001084542,0.01915259],"category_scores_gemma":[0.013127,0.0005214481,0.0008768979,0.001583416,0.0005830009,0.003512443,0.001971147,0.001674063,0.004016954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007844039,"about_ca_system_score_gemma":0.002945166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003838997,"about_ca_topic_score_gemma":0.007715908,"domain_scores_codex":[0.9976128,0.0008635788,0.0002170588,0.0002270425,0.0009207998,0.0001586443],"domain_scores_gemma":[0.9881818,0.007752226,0.0003747045,0.001839515,0.001564857,0.0002868728],"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.005969987,0.001866733,0.008716254,0.003343468,0.000455315,0.000268964,0.001618681,0.08658402,0.02507822,0.1412113,0.09611857,0.6287684],"study_design_scores_gemma":[0.001494534,0.001506318,0.006901467,0.0006008563,0.0003647044,0.0006579628,0.001326581,0.622024,0.07725483,0.03781582,0.2497426,0.000310309],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1617691,0.001653337,0.6331807,0.002280716,0.0003937254,0.0006201642,0.007652235,0.09045661,0.1019934],"genre_scores_gemma":[0.3195052,0.001778675,0.6251295,0.0008404157,0.0000405745,0.0008013164,0.01336915,0.01302474,0.02551043],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01915259,"threshold_uncertainty_score":0.06407177,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}