{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003717251,0.00005329251,0.00005338774,0.0001128162,0.0001660166,0.0001233984,0.0002876175,0.00003875418,0.0006409982],"category_scores_gemma":[0.00002475104,0.00004639291,0.00002486463,0.0002782221,0.00003253626,0.0002240658,0.00002334741,0.00009703977,0.0001364279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002949366,"about_ca_system_score_gemma":0.00003845732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001788815,"about_ca_topic_score_gemma":0.00008245811,"domain_scores_codex":[0.9991414,0.0000764516,0.0001045628,0.0002616092,0.000222067,0.0001939341],"domain_scores_gemma":[0.9993325,0.0001463746,0.00001057623,0.000352897,0.00006913607,0.00008844975],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002154686,0.00007983227,0.00006669198,0.000001785388,0.000002045537,9.199526e-7,0.0001812808,0.002704018,0.00004324149,0.05138212,0.006206565,0.93931],"study_design_scores_gemma":[0.0006898915,0.0005716697,0.009528513,0.0000129779,0.000001334052,0.000008885393,0.0001489857,0.5520504,0.0004954724,0.003411678,0.432889,0.0001911487],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1146115,0.00001449514,0.7551066,0.01572482,0.0001660881,0.0007437972,0.00001704931,0.0009206829,0.1126951],"genre_scores_gemma":[0.6591871,0.00002295371,0.3035148,0.003978574,0.0002752408,0.00003085421,0.00007126104,0.00002389376,0.0328953],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9391188,"threshold_uncertainty_score":0.7018481,"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."}}