{"id":"W2579550659","doi":"10.1090/dimacs/069/11","title":"How far is, should and could be conjecture-making in graph theory an automated process?","year":2007,"lang":"en","type":"book-chapter","venue":"DIMACS series in discrete mathematics and theoretical computer science","topic":"Graph Theory and Algorithms","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"HEC Montréal","funders":"","keywords":"Computer science; Process (computing); Conjecture; Graph; Graph theory; Mathematics; Theoretical computer science; Combinatorics; 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.01123387,0.0007177852,0.001140768,0.001770936,0.003648206,0.007786543,0.003321654,0.003927671,0.01500587],"category_scores_gemma":[0.04895265,0.0007644534,0.001721434,0.002242826,0.01872266,0.03153361,0.002999049,0.007114904,0.004251679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002430632,"about_ca_system_score_gemma":0.002978232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002208352,"about_ca_topic_score_gemma":0.001728866,"domain_scores_codex":[0.9946062,0.003341801,0.0002387411,0.0006742313,0.0008298757,0.0003092074],"domain_scores_gemma":[0.9515603,0.03530817,0.001563459,0.007419548,0.003465821,0.0006827523],"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.0000203677,0.00003010312,0.0002511709,0.00008480718,0.00001837515,0.00002339243,0.0003969446,0.00107752,0.00005864341,0.9692457,0.009414483,0.01937855],"study_design_scores_gemma":[0.00000376727,0.00000194428,0.00002997591,0.00001665279,0.000003700769,0.0000088119,0.00009464727,0.001191046,0.00006264161,0.9952285,0.003354566,0.000003811699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03970628,0.004886181,0.5300739,0.2454956,0.003666716,0.0002082286,0.0007331113,0.001798266,0.1734316],"genre_scores_gemma":[0.7324427,0.003764451,0.2213243,0.00744117,0.003928567,0.0002405593,0.0007201212,0.0006699694,0.02946824],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01500587,"threshold_uncertainty_score":0.05941105,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02330091641513424,"score_gpt":0.295659915652048,"score_spread":0.2723589992369137,"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."}}