{"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,"ca_institutions":"Trinity College; University of Toronto","funders":"","keywords":"Satisfiability; Computer science; Theoretical computer science","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":["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"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1144228933514118,"score_gpt":0.3910989440182909,"score_spread":0.2766760506668791,"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."}}