{"id":"W2171572930","doi":"10.1145/2071368.2071377","title":"The Complexity of Proving the Discrete Jordan Curve Theorem","year":2012,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; McGill University","funders":"","keywords":"Mathematics; Jordan curve theorem; Disjoint sets; Simple (philosophy); Context (archaeology); Discrete mathematics; Bounded function; Mathematical proof; Polynomial; Grid; Sequence (biology); Combinatorics; Mathematical analysis; Geometry","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.001285394,0.0002346428,0.0002188446,0.00008248671,0.001118414,0.0001625596,0.002164982,0.00005949609,0.00003410779],"category_scores_gemma":[0.0001496446,0.0001340799,0.0002217539,0.0006246425,0.0009125231,0.0004246529,0.0001164813,0.0003843669,0.00004540455],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009375133,"about_ca_system_score_gemma":0.0001081239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004559971,"about_ca_topic_score_gemma":0.00002877314,"domain_scores_codex":[0.9975209,0.0005088871,0.000473533,0.0003655212,0.0006691325,0.0004620005],"domain_scores_gemma":[0.9951375,0.003177255,0.0002113096,0.001121788,0.0002411999,0.0001109986],"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.00002633674,0.0003801336,0.0003297271,0.0000156966,0.00007920732,0.000001003362,0.001104188,0.1186448,0.00002018606,0.8033814,0.00006952679,0.07594771],"study_design_scores_gemma":[0.000260682,0.0001656046,0.02871069,0.00001201655,0.00001964292,0.0000433383,0.0001444959,0.2048567,0.000199434,0.764721,0.0006482456,0.0002181567],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005547222,0.0001825103,0.9813738,0.01081767,0.0007761699,0.0004703518,0.00002097479,0.0001500041,0.0006613155],"genre_scores_gemma":[0.8762235,0.000007338725,0.123236,0.0003411914,0.00008866405,0.00004400254,0.000005389552,0.00001063714,0.00004329546],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8706763,"threshold_uncertainty_score":0.8602048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05867429881197218,"score_gpt":0.2920372054230701,"score_spread":0.2333629066110979,"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."}}