{"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"},"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","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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.01349685,0.0002229164,0.0004606402,0.000219457,0.0003312183,0.00009883671,0.001115975,0.0001020105,0.0001534464],"category_scores_gemma":[0.02465801,0.0001624893,0.00008184443,0.001211717,0.001529717,0.000326641,0.000569203,0.0002514448,0.000004664396],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004054087,"about_ca_system_score_gemma":0.00009811691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000285696,"about_ca_topic_score_gemma":0.000008555808,"domain_scores_codex":[0.9962449,0.0003794668,0.001535162,0.0007476415,0.000885239,0.0002075714],"domain_scores_gemma":[0.9731753,0.02237291,0.00140651,0.0009854332,0.001952986,0.0001068685],"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.00005445343,0.000141739,0.09653308,0.00005481423,0.00001045862,1.373736e-8,0.0004699567,0.00008483041,0.01726161,0.4966753,0.000008089682,0.3887057],"study_design_scores_gemma":[0.0002803645,0.0000495817,0.1910281,0.0001412062,0.00002899296,0.000007768589,0.001747302,0.002777534,0.004076818,0.7994114,0.0002969585,0.0001540813],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9617162,0.00008255221,0.02150674,0.0003482012,0.00002975367,0.001403936,0.0001690886,0.00004989249,0.01469368],"genre_scores_gemma":[0.9685466,0.000005026384,0.03100858,0.00005975395,0.00008039,0.0002070752,0.000001756764,0.0000131754,0.00007763012],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3885516,"threshold_uncertainty_score":0.9835577,"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","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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.0121697,0.0002239623,0.0004617643,0.0002183445,0.0003442945,0.00009790382,0.00110087,0.0001032192,0.00008066932],"category_scores_gemma":[0.02625107,0.0001630944,0.00008216904,0.001352022,0.001711618,0.0002853253,0.0005605487,0.0002521635,0.000003367685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004793584,"about_ca_system_score_gemma":0.0001396008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000583432,"about_ca_topic_score_gemma":0.000008049067,"domain_scores_codex":[0.9963791,0.0003018043,0.001463638,0.0007552824,0.0008950935,0.000205109],"domain_scores_gemma":[0.9779243,0.01758469,0.001392048,0.0009883149,0.002002419,0.0001081941],"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.00006175617,0.0001683469,0.08498379,0.0000744991,0.00001254346,3.127527e-8,0.0005931867,0.0001808258,0.02212686,0.6962647,0.000002634135,0.1955308],"study_design_scores_gemma":[0.0003174613,0.00005479262,0.1664469,0.0001616175,0.00002463156,0.000007674851,0.001854175,0.0004783795,0.004122901,0.8263491,0.00005590188,0.0001264007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.951317,0.00006176134,0.03745164,0.0002487433,0.0000348781,0.001397731,0.0001630958,0.00004721939,0.009277917],"genre_scores_gemma":[0.9744726,0.000004461707,0.02516764,0.00004740774,0.0000495836,0.0002079376,0.000001860403,0.00001328186,0.00003522174],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1954044,"threshold_uncertainty_score":0.9819512,"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","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.006230524,0.0002921986,0.000518175,0.0003336956,0.0004335974,0.0001183775,0.001137336,0.0001175231,0.0001163852],"category_scores_gemma":[0.005945949,0.0002755742,0.00005560604,0.003221552,0.001684172,0.0004271364,0.0004823722,0.0003633451,0.00000195994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000260376,"about_ca_system_score_gemma":0.001426162,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.01112054,"about_ca_topic_score_gemma":0.02189535,"domain_scores_codex":[0.9962232,0.000625267,0.0009590121,0.001051608,0.0006824129,0.0004585612],"domain_scores_gemma":[0.9875578,0.009204621,0.000415345,0.001103901,0.001493569,0.000224792],"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.00004146953,0.0002920122,0.1693233,0.0002519099,0.00003737755,3.857085e-7,0.0003644046,0.005764909,0.003030122,0.02641107,0.00002169034,0.7944613],"study_design_scores_gemma":[0.001788728,0.0002769249,0.3558094,0.0004403174,0.0001199458,0.00002700886,0.0003726513,0.2094519,0.00613749,0.4225627,0.001717616,0.00129522],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2219278,0.0004208817,0.7746386,0.0004412313,0.00003180078,0.001373241,0.00009993062,0.0001315015,0.0009350285],"genre_scores_gemma":[0.9345054,0.00002062845,0.06508345,0.00007159125,0.00007331317,0.0001891601,0.00001533575,0.00001119846,0.00002992415],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7931661,"threshold_uncertainty_score":0.9999697,"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","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001573329,0.000125519,0.0001736506,0.00003724318,0.0004010969,0.00002876449,0.0005172202,0.00004071637,0.00001296158],"category_scores_gemma":[0.0001379045,0.0001255875,0.00002078442,0.0009686204,0.00008723722,0.000276057,0.0004350261,0.0001204365,0.000007824563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001997298,"about_ca_system_score_gemma":0.00004882631,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001464857,"about_ca_topic_score_gemma":0.000009586831,"domain_scores_codex":[0.998754,0.0002180114,0.0003531622,0.0003469179,0.0001072565,0.0002206659],"domain_scores_gemma":[0.9979486,0.0007466911,0.0001563537,0.0008598247,0.0001727891,0.0001157397],"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.00001361352,0.00002659875,0.009199713,0.00001449232,0.000004092301,3.348153e-8,0.0007204666,0.002986442,0.0007456951,0.3134447,0.00005984483,0.6727843],"study_design_scores_gemma":[0.0002619408,0.0002887884,0.2955669,0.0004206705,0.00002488458,0.000008563193,0.00006503349,0.192705,0.003322607,0.5054346,0.001261763,0.0006391304],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2493819,0.0002268235,0.7473264,0.0001173341,0.00002749179,0.0004504566,5.161139e-7,0.0001188125,0.002350292],"genre_scores_gemma":[0.8306386,0.00004060563,0.1689302,0.0001623332,0.00008599452,0.0000750783,0.000001512589,0.000006304472,0.00005929209],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6721452,"threshold_uncertainty_score":0.5121311,"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","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002645841,0.00009112584,0.0001208223,0.00005093918,0.0001714184,0.00003540564,0.0002508448,0.00004452021,0.000007674213],"category_scores_gemma":[0.001253021,0.00008853099,0.00003009638,0.0002642416,0.0001662567,0.0006968494,0.0001191105,0.00005903984,0.000003462498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002022204,"about_ca_system_score_gemma":0.00001681747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005792852,"about_ca_topic_score_gemma":2.017557e-7,"domain_scores_codex":[0.9989957,0.0001703573,0.0003069691,0.0002282568,0.0001075366,0.0001912392],"domain_scores_gemma":[0.9964233,0.002622175,0.0001787181,0.0005284967,0.0001778868,0.00006941336],"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.000004570951,0.00008322503,0.003829116,0.00006054782,0.000004492226,5.790359e-9,0.0004325039,0.00000798896,0.003734847,0.6203495,0.000004608587,0.3714886],"study_design_scores_gemma":[0.000357064,0.0001312389,0.05117076,0.00003012312,0.00003534873,0.00001684468,0.0002167466,0.006915724,0.04462213,0.8937448,0.002463171,0.0002960217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0312944,0.0001231802,0.9662181,0.00006285727,0.00005122062,0.0007240658,0.00001217674,0.00009380792,0.001420217],"genre_scores_gemma":[0.4155883,6.575785e-7,0.5840515,0.00003515738,0.00005886174,0.0002431392,0.000002601813,0.000004518072,0.0000151735],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3842939,"threshold_uncertainty_score":0.3610189,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}