{"id":"W2169488047","doi":"10.1145/2462896.2462897","title":"On the usefulness of predicates","year":2013,"lang":"en","type":"article","venue":"ACM Transactions on Computation Theory","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"European Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Predicate (mathematical logic); Mathematics; Combinatorics; Conjecture; Discrete mathematics; Randomness; Negation; Pairwise comparison; Constraint satisfaction problem; Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003393485,0.0001101505,0.0001077451,0.0001457108,0.0002607686,0.00007538553,0.0009734326,0.00003945286,0.0002805917],"category_scores_gemma":[0.00008000217,0.00007807698,0.00009429357,0.0004362713,0.0001498577,0.0002428374,0.00001698201,0.0001827942,0.0001615479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001411806,"about_ca_system_score_gemma":0.00002614658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001514644,"about_ca_topic_score_gemma":0.000001121565,"domain_scores_codex":[0.9989517,0.0002261448,0.0002080073,0.00021798,0.0002597517,0.000136448],"domain_scores_gemma":[0.9959556,0.003178784,0.00008529014,0.0006300492,0.0001067806,0.00004348243],"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.00001075882,0.000225958,0.000002852066,0.000009463473,0.00004418337,4.76945e-7,0.0007325971,0.01673575,0.00006446945,0.6246787,0.000527034,0.3569677],"study_design_scores_gemma":[0.0001722433,0.0001377614,0.0008291645,0.000028193,0.000006620228,0.000003576472,0.0001044488,0.07370329,0.005600055,0.91923,0.00008595137,0.00009872704],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02414332,0.00001375205,0.9710922,0.00344901,0.0003178228,0.0002317741,0.000004914523,0.0001351323,0.0006120785],"genre_scores_gemma":[0.9823616,0.000004564886,0.01662308,0.000799021,0.00001392627,0.00006641715,0.000001380527,0.000007130108,0.0001229191],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9582182,"threshold_uncertainty_score":0.3183887,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03124524853413456,"score_gpt":0.2423059758492957,"score_spread":0.2110607273151611,"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."}}