{"id":"W2011612721","doi":"10.1016/j.laa.2009.06.015","title":"A survey of automated conjectures in spectral graph theory","year":2009,"lang":"en","type":"article","venue":"Linear Algebra and its Applications","topic":"Graph theory and applications","field":"Mathematics","cited_by":63,"is_retracted":false,"has_abstract":false,"ca_institutions":"Group for Research in Decision Analysis; HEC Montréal","funders":"","keywords":"Mathematics; Graph; Eigenvalues and eigenvectors; Spectral graph theory; Graph theory; Voltage graph; Combinatorics; Line 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.000487533,0.0001161027,0.0002042435,0.0001268604,0.00008221789,0.00001023267,0.0001531452,0.00007607941,0.00004673336],"category_scores_gemma":[0.0001349499,0.0001033384,0.00004138316,0.000606771,0.0000700646,0.00004618839,0.00001579682,0.0001168366,0.00001179268],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004992746,"about_ca_system_score_gemma":0.00002231758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001318342,"about_ca_topic_score_gemma":0.00004562532,"domain_scores_codex":[0.9991492,0.0001075767,0.0003112031,0.0002000769,0.00007974259,0.000152188],"domain_scores_gemma":[0.9989436,0.0005506361,0.000103457,0.0002712409,0.00007431691,0.00005679756],"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.00001497574,0.000211743,0.000398121,0.00001868338,0.00001270655,1.993075e-7,0.0002204235,0.000007521359,0.002267827,0.9956827,0.0002134037,0.0009516909],"study_design_scores_gemma":[0.0002867221,0.00004129495,0.08743746,0.00001419762,0.00002216679,0.000003590304,0.00006552223,0.001282328,0.003744311,0.9067329,0.0002371745,0.0001323073],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9927539,0.000509971,0.00375747,0.0002316394,0.000008755704,0.000710357,0.0001262827,0.0002254386,0.001676135],"genre_scores_gemma":[0.9982798,0.00005928352,0.00128216,0.00009838,0.00001886631,0.000129066,0.0000453882,0.00001025614,0.00007682415],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.08894978,"threshold_uncertainty_score":0.4214019,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02818967378203269,"score_gpt":0.3161277883203332,"score_spread":0.2879381145383005,"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."}}