{"id":"W1487965496","doi":"","title":"SATLIB: An Online Resource for Research on SAT","year":2000,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":312,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Benchmark (surveying); Suite; Computer science; Resource (disambiguation); Implementation; Set (abstract data type); World Wide Web; Data science; Theoretical computer science; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003165225,0.002466223,0.002391023,0.007459019,0.001228717,0.004851104,0.00654334,0.001789958,0.1983003],"category_scores_gemma":[0.0189729,0.001713405,0.002097055,0.01577639,0.0007782569,0.00537411,0.004524517,0.004476822,0.1433139],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002266143,"about_ca_system_score_gemma":0.004251255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003062179,"about_ca_topic_score_gemma":0.004451016,"domain_scores_codex":[0.9967349,0.0008452993,0.0004017197,0.0004666523,0.001284514,0.0002668225],"domain_scores_gemma":[0.9840643,0.008126702,0.0008381162,0.002701316,0.002991057,0.001278551],"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.0001533149,0.00009875643,0.0002747798,0.001055035,0.00005267723,0.0000749666,0.00003449297,0.002944487,0.0008559467,0.013601,0.8864534,0.0944012],"study_design_scores_gemma":[0.0003734452,0.00008198494,0.001072571,0.0003434738,0.00007770489,0.0003053547,0.00005379115,0.01745386,0.004594019,0.04808237,0.9274817,0.00007966923],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"software","genre_scores_codex":[0.003956692,0.009343931,0.2396139,0.004500282,0.001991455,0.0009599013,0.2845001,0.2722698,0.182864],"genre_scores_gemma":[0.02751972,0.005933743,0.228132,0.00185707,0.001027058,0.002004105,0.6575871,0.04004294,0.03589626],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1983003,"threshold_uncertainty_score":0.6633807,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.184314762949718,"score_gpt":0.3995988594853813,"score_spread":0.2152840965356633,"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."}}