{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":2,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":2,"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":"31801503eb2d","filters":{"venue":"Formal Methods"}},"results":[{"id":"W2912543718","doi":"","title":"Proceedings of the 15th international symposium on Formal Methods","year":2008,"lang":"en","type":"article","venue":"Formal Methods","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":26,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Formal methods; Software engineering","authors":[{"name":"Jorge Cuéllar","is_ca":false},{"name":"Tom Maibaum","is_ca":true},{"name":"Kaisa Sere","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02192956170968645,"gpt":0.304588415550939,"spread":0.2826588538412526,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01661245,0.002073684,0.003351831,0.002114352,0.001586582,0.009045424,0.002815198,0.002863551,0.03407264],"category_scores_gemma":[0.01632346,0.001795381,0.003840726,0.001396101,0.003636122,0.00807478,0.00325978,0.007851779,0.01033524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003238256,"about_ca_system_score_gemma":0.004305402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004850685,"about_ca_topic_score_gemma":0.003794202,"domain_scores_codex":[0.9927153,0.003088689,0.0008313424,0.0009821912,0.001963799,0.0004186791],"domain_scores_gemma":[0.9845529,0.00813207,0.0003063968,0.003277137,0.003110624,0.0006208338],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006198796,0.0004811347,0.001567175,0.00117531,0.0003766602,0.0002580479,0.001457928,0.005319029,0.003257597,0.3352171,0.1960858,0.4541844],"study_design_scores_gemma":[0.0001716019,0.0001496727,0.0009160078,0.0009839872,0.0002060443,0.000496069,0.0002048298,0.02081266,0.002723573,0.2310216,0.7422252,0.00008873796],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.004780208,0.05099396,0.8434739,0.01226234,0.02686874,0.0002563275,0.0006890218,0.002462151,0.05821337],"genre_scores_gemma":[0.0834775,0.05559491,0.6738093,0.004092612,0.01833361,0.0007107168,0.005199557,0.003529715,0.1552521],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03407264,"threshold_uncertainty_score":0.1139843,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2409667482","doi":"","title":"FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006Proceedings (Lecture Notes in Computer Science)","year":2006,"lang":"en","type":"article","venue":"Formal Methods","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Formal methods; Computer science; Library science; Software engineering","authors":[{"name":"Jayadev Misra","is_ca":false},{"name":"Tobias Nipkow","is_ca":false},{"name":"Emil Sekerinski","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01388108810630404,"gpt":0.3051471351972607,"spread":0.2912660470909567,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01061349,0.003331849,0.002896891,0.002730336,0.003197183,0.01062896,0.003466331,0.002119874,0.072488],"category_scores_gemma":[0.008211032,0.00182783,0.00144167,0.003430812,0.003105874,0.005224797,0.00261738,0.005576413,0.02353005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01543738,"about_ca_system_score_gemma":0.02706503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.3072557,"about_ca_topic_score_gemma":0.3894174,"domain_scores_codex":[0.996216,0.0007012333,0.0002169024,0.0006566928,0.001692504,0.0005167163],"domain_scores_gemma":[0.9920645,0.001508102,0.0001760763,0.0008677595,0.004109007,0.00127441],"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.0002937476,0.0001978937,0.0008512465,0.0004594382,0.00005330494,0.00009561868,0.0007567288,0.002363063,0.002864033,0.02962212,0.6321143,0.3303286],"study_design_scores_gemma":[0.0001003742,0.00008236506,0.001749116,0.0005915746,0.00006969444,0.0002399182,0.0003521204,0.01333945,0.005564746,0.02013045,0.9577023,0.00007795291],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01122006,0.08394828,0.6780514,0.02947382,0.03181756,0.0007589478,0.006246978,0.01653725,0.1419457],"genre_scores_gemma":[0.03457497,0.03983145,0.1975933,0.001734955,0.003742102,0.0003704665,0.01219563,0.006693041,0.7032641],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.3072557,"threshold_uncertainty_score":0.6109345,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}