{"id":"W4313227384","doi":"10.1109/focs54457.2022.00111","title":"Separations in Proof Complexity and TFNP","year":2022,"lang":"en","type":"article","venue":"2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Unary operation; Mathematical proof; Resolution (logic); Oracle; Combinatorics; Computer science; Discrete mathematics; Algorithm; Mathematics; Theoretical computer science; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002989004,0.0005846173,0.000750492,0.001425938,0.001292182,0.004864441,0.00184837,0.001477289,0.01618327],"category_scores_gemma":[0.02255678,0.0007157759,0.001742239,0.001854504,0.004844971,0.01264723,0.003736503,0.004916077,0.00162968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004239849,"about_ca_system_score_gemma":0.002049341,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002758273,"about_ca_topic_score_gemma":0.001318688,"domain_scores_codex":[0.9937294,0.002294089,0.0004133819,0.001303049,0.001639359,0.0006206823],"domain_scores_gemma":[0.9771407,0.01798518,0.0008894505,0.00227619,0.001099928,0.0006085454],"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.00007012531,0.00002178869,0.0003457359,0.0001245585,0.00001408513,0.0000552297,0.0001942823,0.006809661,0.0003607999,0.9693422,0.00186143,0.02080008],"study_design_scores_gemma":[0.0000230091,0.00002163008,0.0001894955,0.00003194912,0.00001165978,0.0001183431,0.00005240182,0.02276678,0.0007257941,0.9675839,0.008459725,0.0000152759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09990442,0.003757214,0.7704449,0.008971136,0.0002856618,0.0001511188,0.0008819292,0.002223333,0.1133804],"genre_scores_gemma":[0.8160172,0.002098033,0.1616928,0.000898972,0.0004782424,0.0003023806,0.001116339,0.0004531701,0.01694294],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01618327,"threshold_uncertainty_score":0.05413836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02592606288442114,"score_gpt":0.285306659503105,"score_spread":0.2593805966186838,"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."}}