{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007400383,0.001594993,0.003072158,0.007546573,0.003546406,0.00829074,0.003700067,0.004062195,0.01345415],"category_scores_gemma":[0.02562884,0.001707765,0.001936222,0.01187465,0.01107731,0.02786558,0.004565056,0.007904177,0.003616161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003194446,"about_ca_system_score_gemma":0.0028836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001562911,"about_ca_topic_score_gemma":0.001258784,"domain_scores_codex":[0.9944263,0.002063114,0.0003972597,0.001203917,0.00162793,0.0002814515],"domain_scores_gemma":[0.9702504,0.02304628,0.0007161573,0.003334717,0.002249089,0.0004034344],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004889905,0.0001642541,0.001204474,0.001264928,0.00004554582,0.00008778265,0.0003730051,0.002791714,0.0002219558,0.8968869,0.01670036,0.08021025],"study_design_scores_gemma":[0.00001733044,0.00002332206,0.0003274746,0.0002584294,0.00001639207,0.0001228948,0.0001174503,0.005317643,0.000225709,0.9719242,0.02162175,0.00002732829],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04429018,0.2136303,0.5299026,0.05110632,0.004046966,0.0002177664,0.001408267,0.001489102,0.1539085],"genre_scores_gemma":[0.4764176,0.2334465,0.2198211,0.0104415,0.02867549,0.0005461091,0.005352145,0.0009893677,0.02431018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01345415,"threshold_uncertainty_score":0.0450086,"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."}}