{"id":"W2739351832","doi":"","title":"A Survey of Automated Conjectures in Spectral Graph Theory","year":2009,"lang":"en","type":"article","venue":"Les Cahiers du GERAD","topic":"Graph theory and applications","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Group for Research in Decision Analysis; HEC Montréal","funders":"","keywords":"Graph; Computer science; Graph theory; Mathematics; Theoretical computer science; Discrete mathematics; Combinatorics","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.009315353,0.001294431,0.001891001,0.007977754,0.002657252,0.005370879,0.003512056,0.002499081,0.01309287],"category_scores_gemma":[0.03608077,0.001349804,0.001368664,0.01017179,0.009151098,0.01665082,0.004137092,0.004289552,0.003644994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002858917,"about_ca_system_score_gemma":0.002579038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001505075,"about_ca_topic_score_gemma":0.0007949167,"domain_scores_codex":[0.9916741,0.003087387,0.0004832906,0.001511915,0.002895966,0.0003473698],"domain_scores_gemma":[0.9440767,0.04210763,0.001375975,0.006783379,0.005134148,0.0005220741],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0001271852,0.000339615,0.003342314,0.002992632,0.0000756895,0.0002622432,0.0006965201,0.006554461,0.0007469089,0.7264233,0.03348803,0.2249511],"study_design_scores_gemma":[0.00004620925,0.00008328643,0.00159318,0.00119669,0.00003889514,0.0004473361,0.0003373273,0.01844841,0.00164544,0.8813261,0.09476708,0.0000700023],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07913318,0.2002392,0.5034027,0.03618851,0.003633594,0.0002911944,0.002028804,0.003362928,0.1717199],"genre_scores_gemma":[0.6273864,0.1772388,0.1565758,0.005391524,0.01294764,0.0004406544,0.005049934,0.00135692,0.01361225],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01309287,"threshold_uncertainty_score":0.04926491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02045557587740854,"score_gpt":0.2840638379587068,"score_spread":0.2636082620812983,"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."}}