{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008087557,0.0001225239,0.0002330672,0.0001545487,0.00007245805,0.00001104648,0.0001766585,0.0001160057,0.00005819922],"category_scores_gemma":[0.0003134236,0.0001081907,0.00007451796,0.0004535686,0.0001972612,0.00003716919,0.000006835684,0.0001874057,0.00000503157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002010729,"about_ca_system_score_gemma":0.00002007978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005559094,"about_ca_topic_score_gemma":0.0001298197,"domain_scores_codex":[0.9989957,0.0002984111,0.0002684559,0.0001556958,0.00009785096,0.0001839155],"domain_scores_gemma":[0.9988698,0.0006793048,0.0001025804,0.0002652126,0.00004169298,0.00004140129],"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.00005198199,0.0001569175,0.002273008,0.00001493848,0.00002044764,0.00000454988,0.00152429,0.00001190284,0.001510535,0.9929447,0.0008678754,0.0006188784],"study_design_scores_gemma":[0.0002936578,0.00003957753,0.1624354,0.00001241358,0.00001163249,0.000004973641,0.0001290837,0.00009400541,0.002241445,0.8346012,0.00003265967,0.0001039047],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9960649,0.0001183118,0.001117052,0.0001315734,0.00002783709,0.0001950776,0.00003712522,0.0002058177,0.002102276],"genre_scores_gemma":[0.9975703,0.00001329166,0.002141828,0.0001336467,0.00001287378,0.00001356249,0.00001715717,0.00001070721,0.00008665204],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1601624,"threshold_uncertainty_score":0.441189,"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."}}