{"id":"W6910264862","doi":"10.4230/lipics.ccc.2023.36","title":"Colourful TFNP and Propositional Proofs","year":2023,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematical proof; Unary operation; Class (philosophy); Proof complexity; Intersection (aeronautics); Resolution (logic); Propositional calculus; Analytic proof","routes":{"ca_aff":true,"ca_fund":true,"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.002387986,0.0004684828,0.0004231361,0.001546405,0.001086622,0.003558693,0.001581213,0.0009118628,0.00710946],"category_scores_gemma":[0.01402143,0.0005833463,0.001321993,0.001304833,0.00422935,0.007982918,0.002593807,0.003131553,0.0005758837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003846693,"about_ca_system_score_gemma":0.001605724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004809837,"about_ca_topic_score_gemma":0.002613974,"domain_scores_codex":[0.9966424,0.000733904,0.0002511237,0.0007949858,0.001120334,0.000457259],"domain_scores_gemma":[0.9874374,0.007754306,0.0008201431,0.002182571,0.001331765,0.0004737685],"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.00004378226,0.00001777897,0.0003972707,0.0001424393,0.00001586625,0.00008863411,0.0002381169,0.004209231,0.001107749,0.9717599,0.001419309,0.02056005],"study_design_scores_gemma":[0.00001801114,0.00001734557,0.0003236792,0.00003131629,0.00001745103,0.0001502536,0.00004533236,0.01798908,0.00124041,0.9686587,0.0114929,0.00001563859],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07881846,0.002498325,0.871352,0.00277779,0.0002835795,0.0001499434,0.0007640016,0.001892876,0.04146306],"genre_scores_gemma":[0.8175346,0.001347935,0.1646657,0.001051339,0.0004207361,0.0002038672,0.0008732676,0.0003512648,0.01355127],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00710946,"threshold_uncertainty_score":0.02790982,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01778213879873524,"score_gpt":0.2582630661033912,"score_spread":0.240480927304656,"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."}}