{"id":"W2166523409","doi":"10.1109/lics.2007.48","title":"The Complexity of Proving the Discrete Jordan Curve Theorem","year":2007,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Disjoint sets; Combinatorics; Bounded function; Discrete mathematics; Mathematics; Computer science; Algorithm; Mathematical analysis","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.01405449,0.001811857,0.003744214,0.002518569,0.005248958,0.01217738,0.008258336,0.003673802,0.03205639],"category_scores_gemma":[0.08619881,0.002454613,0.006483854,0.003829517,0.00858454,0.0342756,0.01206691,0.01276005,0.006537646],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007592726,"about_ca_system_score_gemma":0.006842475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005649099,"about_ca_topic_score_gemma":0.004839612,"domain_scores_codex":[0.9659805,0.0120325,0.001809305,0.00482179,0.01289953,0.002456485],"domain_scores_gemma":[0.8653711,0.1021847,0.002303163,0.01995178,0.008410115,0.001779076],"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.0006383241,0.0003776879,0.003210308,0.002038679,0.0004756351,0.0008976057,0.001280023,0.03730756,0.003931373,0.7774839,0.04378587,0.128573],"study_design_scores_gemma":[0.0001047674,0.00004045049,0.0004388965,0.0001124366,0.00009026676,0.0001444833,0.0003417732,0.054146,0.002270019,0.9303007,0.01194957,0.00006058161],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1088038,0.003879753,0.6954162,0.05458115,0.001663794,0.0008156894,0.00375582,0.008812342,0.1222716],"genre_scores_gemma":[0.5797671,0.003874458,0.3760599,0.005109946,0.002327145,0.0009410579,0.008110496,0.003252974,0.02055688],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03205639,"threshold_uncertainty_score":0.1072393,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03633940887867611,"score_gpt":0.2765516258077696,"score_spread":0.2402122169290935,"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."}}