{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005674656,0.0002885046,0.0003024207,0.0003521871,0.0005680503,0.0005664908,0.0009595277,0.0001428262,0.00002005112],"category_scores_gemma":[0.00005880778,0.0002631711,0.0001533383,0.0007382593,0.0001944812,0.001478384,0.0007803836,0.0003048104,0.0002167245],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005403287,"about_ca_system_score_gemma":0.00008892931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005944577,"about_ca_topic_score_gemma":0.000007295399,"domain_scores_codex":[0.9978239,0.00002974506,0.0006471896,0.0003073917,0.000511547,0.0006802549],"domain_scores_gemma":[0.9986641,0.000161557,0.0002030057,0.0005522172,0.0002109442,0.0002081283],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000148788,0.0007412369,0.008416066,0.001716391,0.0004242002,0.00006163817,0.02239867,0.0002654854,0.0001968977,0.7629217,0.05999415,0.1427148],"study_design_scores_gemma":[0.004326214,0.0008047186,0.01011666,0.0002728378,0.00003872213,0.0003458444,0.0009434472,0.7082468,0.001158009,0.07240508,0.2000816,0.001260103],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4024746,0.000168547,0.5644156,0.007472201,0.003764865,0.004691258,0.001326051,0.002829025,0.01285787],"genre_scores_gemma":[0.7741679,0.0001400406,0.2176091,0.00359829,0.000544538,0.0006916264,0.001058219,0.00009021985,0.002100008],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7079813,"threshold_uncertainty_score":0.9999821,"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."}}