{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":5,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":5,"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":"d01fbe005067","filters":{"venue":"Theory and Applications of Satisfiability Testing"}},"results":[{"id":"W2914729178","doi":"","title":"Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing","year":2005,"lang":"en","type":"article","venue":"Theory and Applications of Satisfiability Testing","topic":"Multi-Criteria Decision Making","field":"Decision Sciences","cited_by":31,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Trinity College; University of Toronto","funders":"","keywords":"Satisfiability; Computer science; Theoretical computer science","authors":[{"name":"Fahiem Bacchus","is_ca":true},{"name":"Toby Walsh","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1144228933514118,"gpt":0.3910989440182909,"spread":0.2766760506668791,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008147174,0.001554641,0.002872952,0.002321268,0.001071812,0.007044291,0.002527303,0.002296557,0.03141949],"category_scores_gemma":[0.01331957,0.0008771,0.0020044,0.00202973,0.002770922,0.004289629,0.002314063,0.004911223,0.005427497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002333472,"about_ca_system_score_gemma":0.003097432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004189746,"about_ca_topic_score_gemma":0.004022452,"domain_scores_codex":[0.9952277,0.001944962,0.0003747645,0.0006261787,0.001493862,0.000332411],"domain_scores_gemma":[0.9901867,0.005147267,0.000251393,0.001381435,0.002381743,0.0006514242],"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.0007987483,0.000521793,0.001552188,0.0007385116,0.0003721398,0.0004733527,0.0005209231,0.01581788,0.005099199,0.1876566,0.1783434,0.6081051],"study_design_scores_gemma":[0.0001878274,0.0004269316,0.002310616,0.0007297538,0.0003213425,0.00101348,0.0003220618,0.1494333,0.005226894,0.3097541,0.5301364,0.0001372234],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01154197,0.05770791,0.7909264,0.01373302,0.03167168,0.0003100694,0.0005599008,0.0009558064,0.09259328],"genre_scores_gemma":[0.200541,0.05562366,0.5367871,0.004164632,0.02670042,0.0007242199,0.003720585,0.001179965,0.1705584],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03141949,"threshold_uncertainty_score":0.1051087,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2911534100","doi":"","title":"Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing","year":2004,"lang":"en","type":"article","venue":"Theory and Applications of Satisfiability Testing","topic":"Multi-Criteria Decision Making","field":"Decision Sciences","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University; University of British Columbia","funders":"","keywords":"Satisfiability; Computer science; Theoretical computer science; Programming language","authors":[{"name":"Holger H. Hoos","is_ca":true},{"name":"David G. M. Mitchell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1140515835733223,"gpt":0.3873354442747253,"spread":0.2732838607014031,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00828847,0.00157807,0.002963156,0.002332092,0.001086941,0.007096747,0.002498361,0.002393191,0.02991711],"category_scores_gemma":[0.01342769,0.0008922737,0.002049794,0.002107628,0.002911796,0.004446982,0.002286758,0.004923188,0.005403816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002331528,"about_ca_system_score_gemma":0.003133298,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004284677,"about_ca_topic_score_gemma":0.004129018,"domain_scores_codex":[0.9950863,0.002013691,0.0003848695,0.0006440429,0.001536254,0.0003349489],"domain_scores_gemma":[0.989611,0.005471617,0.0002668394,0.001460364,0.002471879,0.0007182938],"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.0008649342,0.0005266036,0.001645849,0.0007579548,0.000384255,0.000480034,0.0005242,0.0154687,0.005294068,0.1804701,0.1844068,0.6091766],"study_design_scores_gemma":[0.0001845193,0.0004476861,0.002319131,0.0007365928,0.0003361976,0.001039397,0.0003341475,0.1399861,0.005234677,0.2977433,0.5515062,0.0001321112],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01205186,0.06386793,0.7813469,0.01442702,0.03415942,0.0003155432,0.0005673562,0.00101179,0.09225216],"genre_scores_gemma":[0.1988154,0.06201309,0.5285864,0.004256598,0.02887857,0.0007444901,0.003869802,0.001265024,0.1715706],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02991711,"threshold_uncertainty_score":0.1000828,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2912010915","doi":"","title":"Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science)","year":2005,"lang":"en","type":"article","venue":"Theory and Applications of Satisfiability Testing","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Satisfiability; Computer science; Mathematics education; Theoretical computer science; Library science; Mathematics","authors":[{"name":"Holger H. Hoos","is_ca":false},{"name":"David G. M. Mitchell","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01380900703656474,"gpt":0.265525670005974,"spread":0.2517166629694093,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006291431,0.00190628,0.002209479,0.005212774,0.001527294,0.007637015,0.002810594,0.002188033,0.01456358],"category_scores_gemma":[0.01252128,0.002460088,0.001459442,0.007012423,0.006383749,0.005659817,0.002386737,0.005581865,0.002544068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007809036,"about_ca_system_score_gemma":0.00816162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03057149,"about_ca_topic_score_gemma":0.03174659,"domain_scores_codex":[0.9956612,0.001183897,0.0003323682,0.0006694871,0.001876549,0.0002765857],"domain_scores_gemma":[0.9899315,0.005485975,0.0002505196,0.001013953,0.002816758,0.0005013086],"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.0001714346,0.0001811287,0.00238623,0.0008395746,0.0001432133,0.0001619288,0.0003489904,0.0273363,0.00236321,0.2846469,0.1249901,0.5564309],"study_design_scores_gemma":[0.00008338552,0.000122009,0.002910714,0.0008793981,0.0001771635,0.0007251312,0.0002813126,0.1609772,0.003269467,0.5416059,0.2888764,0.00009194855],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.008170591,0.2056951,0.6919751,0.02313071,0.006271405,0.0001849312,0.0008958303,0.001606781,0.06206957],"genre_scores_gemma":[0.1807293,0.1954842,0.543079,0.003247336,0.009947843,0.0005154476,0.004413015,0.001075305,0.06150866],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03057149,"threshold_uncertainty_score":0.06078708,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1545528108","doi":"","title":"Network Modulation : A New Dimension to Enhance Wireless Network Performance","year":2011,"lang":"en","type":"article","venue":"Theory and Applications of Satisfiability Testing","topic":"Cooperative Communication and Network Coding","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 Victoria","funders":"","keywords":"Computer science; Dimension (graph theory); Modulation (music); Wireless network; Computer network; Wireless WAN; Wireless; Radio networks; Telecommunications; Key distribution in wireless sensor networks; Physics; Mathematics","authors":[{"name":"Lin Cai","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.039141049212891,"gpt":0.2722447304205683,"spread":0.2331036812076773,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002098793,0.0007606811,0.001079466,0.001015541,0.0005677341,0.00232736,0.001725638,0.001272957,0.004257717],"category_scores_gemma":[0.01276607,0.0002952979,0.0002971616,0.001210595,0.001928813,0.005884245,0.001959712,0.002067056,0.0005760021],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000876382,"about_ca_system_score_gemma":0.0008905343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004962615,"about_ca_topic_score_gemma":0.0006409587,"domain_scores_codex":[0.9983137,0.0006097707,0.00006686182,0.0001774669,0.0007012591,0.000130855],"domain_scores_gemma":[0.9915727,0.005703671,0.0004909532,0.001244086,0.0008327289,0.0001558816],"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.0003643953,0.0002197673,0.002163963,0.0004460996,0.00009680159,0.0001666336,0.0002768512,0.07301489,0.04175765,0.5620552,0.005957873,0.3134799],"study_design_scores_gemma":[0.00008015411,0.0003678263,0.0007321389,0.0001854072,0.00009388444,0.0004335616,0.0001034819,0.4771917,0.01775224,0.480875,0.02211274,0.00007183913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03397584,0.004603509,0.9343942,0.004975912,0.0004200555,0.00006410028,0.0001094993,0.0004551788,0.02100176],"genre_scores_gemma":[0.8187183,0.004057802,0.1687898,0.001165434,0.001163231,0.0001090843,0.000117698,0.0001319567,0.005746827],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004257717,"threshold_uncertainty_score":0.01424348,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2403478642","doi":"","title":"Single-Solver Algorithms for 2QBF (Poster Presentation)","year":2012,"lang":"en","type":"article","venue":"Theory and Applications of Satisfiability Testing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Solver; Computer science; Boolean satisfiability problem; DPLL algorithm; Algorithm; Heuristic; Set (abstract data type); Satisfiability; Theoretical computer science; Programming language; Artificial intelligence","authors":[{"name":"Sam Bayless","is_ca":true},{"name":"Alan J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07232481774454069,"gpt":0.3347471103248786,"spread":0.2624222925803379,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002173395,0.002297968,0.001263715,0.001348392,0.001240261,0.003283598,0.003544649,0.002689337,0.07364502],"category_scores_gemma":[0.01077934,0.001388191,0.002643222,0.002249904,0.0009986165,0.005795626,0.004635219,0.003368626,0.01812331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002851749,"about_ca_system_score_gemma":0.003377885,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005921502,"about_ca_topic_score_gemma":0.0115749,"domain_scores_codex":[0.9974571,0.0005930895,0.0002142404,0.0007182614,0.0006791535,0.0003381443],"domain_scores_gemma":[0.9948853,0.002836312,0.0002590393,0.0010983,0.0007835668,0.000137548],"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.0003661703,0.0003236129,0.001214806,0.0009824639,0.0001292755,0.0002281929,0.0003518947,0.101249,0.004661599,0.186456,0.07742125,0.6266157],"study_design_scores_gemma":[0.0003012898,0.00006401037,0.000234653,0.0001095149,0.00005145723,0.0001894226,0.00009590693,0.6118687,0.004812715,0.3459548,0.03627492,0.00004257996],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002641931,0.0003715158,0.9794943,0.0006772727,0.0001238865,0.0002085608,0.0007255934,0.008416913,0.007339956],"genre_scores_gemma":[0.04247785,0.0002057944,0.9454821,0.0004243669,0.00007444621,0.0004328626,0.002231864,0.001854182,0.006816601],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.07364502,"threshold_uncertainty_score":0.2463672,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}