{"id":"W2963693432","doi":"10.5555/2634074.2634192","title":"Parameters of two-prover-one-round game and the hardness of connectivity problems","year":2014,"lang":"en","type":"article","venue":"Symposium on Discrete Algorithms","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Soundness; Connection (principal bundle); Hardness of approximation; Gas meter prover; Constant (computer programming); Class (philosophy); Task (project management); Mathematics; Computer science; Discrete mathematics; Approximation algorithm; Combinatorics; Artificial intelligence; Mathematical proof","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":[],"consensus_categories":[],"category_scores_codex":[0.001332168,0.0002780363,0.0006036627,0.000140212,0.0001473506,0.0001319061,0.001091587,0.00007792374,0.000004549904],"category_scores_gemma":[0.0001039659,0.0001982164,0.0002114457,0.000464995,0.001025844,0.0003804335,0.0004511625,0.0002548905,0.000003775311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002228374,"about_ca_system_score_gemma":0.00004131813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004053326,"about_ca_topic_score_gemma":0.00002246969,"domain_scores_codex":[0.9975179,0.000420457,0.0005107301,0.0005994028,0.0005795207,0.0003720099],"domain_scores_gemma":[0.9974661,0.0007921873,0.0003904405,0.001098045,0.0001402407,0.0001129182],"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.00019574,0.0004271864,0.000724755,0.0003302798,0.0003106373,0.000002478567,0.003814531,0.001854081,0.007122255,0.915807,0.00008344292,0.06932762],"study_design_scores_gemma":[0.007446325,0.001489837,0.00293802,0.0003378767,0.0001097513,0.00003277498,0.0001156937,0.7162338,0.03435123,0.2351973,0.0009675756,0.0007798054],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2030129,0.0003210069,0.7836266,0.004023309,0.001442125,0.001369539,0.00005982277,0.000174526,0.005970193],"genre_scores_gemma":[0.9767103,0.00006669393,0.02280889,0.0001893177,0.00006880421,0.00005306448,0.000003365008,0.00001788656,0.00008172526],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7736974,"threshold_uncertainty_score":0.8083032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01954055939591269,"score_gpt":0.2463180992991209,"score_spread":0.2267775399032083,"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."}}