{"id":"W2006771561","doi":"10.1016/s0022-0000(03)00042-4","title":"Completeness results for graph isomorphism","year":2003,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"semigroups and automata theory","field":"Computer Science","cited_by":61,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Combinatorics; Graph isomorphism; Graph automorphism; Mathematics; Discrete mathematics; Isomorphism (crystallography); Graph; Line graph; Voltage graph","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.003036736,0.0001096351,0.0002974863,0.000204979,0.0002977158,0.0003733103,0.0007873471,0.00003218973,4.142161e-7],"category_scores_gemma":[0.00002544495,0.00007280405,0.0001085462,0.0003269427,0.0001317052,0.000564154,0.0000589446,0.00006119031,0.000001205113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001445061,"about_ca_system_score_gemma":0.00008536407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002237507,"about_ca_topic_score_gemma":3.869807e-7,"domain_scores_codex":[0.9985223,0.0001490744,0.0005463351,0.0002233211,0.0003413954,0.0002175095],"domain_scores_gemma":[0.9987392,0.0003829864,0.0004177566,0.0001707994,0.0001778875,0.0001114156],"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.00002065795,0.00004973856,0.0003006939,0.00008657519,0.00003177844,0.00003389129,0.0008413321,0.0005749939,0.0002615665,0.9785562,0.004600868,0.01464172],"study_design_scores_gemma":[0.01044463,0.006189441,0.008484251,0.001886631,0.00008569611,0.01547558,0.002635759,0.7422851,0.003558231,0.1443942,0.06297674,0.001583729],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03850731,0.0007060911,0.9574459,0.0003944921,0.001759494,0.0001021818,0.000003125901,0.00002976479,0.001051658],"genre_scores_gemma":[0.8753679,0.00001173931,0.1242924,0.0001569254,0.0001500888,0.000001367128,1.125506e-7,0.000002616247,0.00001683572],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8368606,"threshold_uncertainty_score":0.359984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02881157589070679,"score_gpt":0.249631771147468,"score_spread":0.2208201952567612,"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."}}