{"id":"W4411141319","doi":"10.1145/3725250","title":"Smallest Synthetic Witnesses for Conjunctive Queries","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Management of Data","topic":"Scientific Computing and Data Management","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Universitas Brawijaya","keywords":"Conjunctive query; Computer science; Information retrieval; Relational database","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["open_science"],"consensus_categories":["open_science"],"category_scores_codex":[0.004422387,0.0001441962,0.0002876303,0.000300942,0.0001885581,0.0002368387,0.01334455,0.00002592876,0.00003260943],"category_scores_gemma":[0.007132439,0.00008988958,0.00008953086,0.001152449,0.0002882028,0.0003662034,0.01367251,0.00005799494,0.00001072451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001768888,"about_ca_system_score_gemma":0.00002026314,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001077839,"about_ca_topic_score_gemma":0.000003357217,"domain_scores_codex":[0.9973082,0.00001299552,0.0006161344,0.0008661555,0.0009970447,0.0001994476],"domain_scores_gemma":[0.9938637,0.0008857807,0.0005678313,0.004164832,0.0004896962,0.00002817239],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002294003,0.0002163195,0.00361264,0.000522139,0.0002557702,2.326296e-7,0.0001039724,0.00004388697,0.0001829296,0.3735617,0.5514436,0.06982733],"study_design_scores_gemma":[0.001547535,0.000233266,0.02635257,0.001730604,0.0005335768,7.051335e-7,0.01440855,0.003535767,0.008596565,0.5591006,0.383568,0.0003922914],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5312003,0.0006416736,0.02651739,0.07384835,0.007591261,0.007773333,0.002527281,0.000273683,0.3496266],"genre_scores_gemma":[0.96664,0.00003143989,0.02060121,0.0002561831,0.00002631226,0.00003504548,0.0000231275,0.00000927265,0.01237743],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4354396,"threshold_uncertainty_score":0.9943047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2317777557871395,"score_gpt":0.4214874451748175,"score_spread":0.1897096893876779,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}