{"id":"W6991443160","doi":"","title":"Graph Drawing for Formalized Diagrammatic Proofs in Geometry","year":2017,"lang":"en","type":"other","venue":"Graph Drawing E-print Archive (Die Universität zu Köln)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Ciência sem Fronteiras; Natural Sciences and Engineering Research Council of Canada; Conselho Nacional de Desenvolvimento Científico e Tecnológico; Austrian Science Fund; Grantová Agentura České Republiky; National Institutes of Health; National Science Foundation","keywords":"Diagrammatic reasoning; Mathematical proof; Graph; Graph drawing; Algebra over a field; Graph theory","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","bibliometrics","insufficient_payload"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.001338663,0.001955563,0.00244724,0.01132102,0.001195672,0.0004463206,0.003560982,0.0008940151,0.0004949839],"category_scores_gemma":[0.0006270132,0.002180415,0.001906934,0.001294257,0.00127858,0.001519506,0.001495544,0.001714751,0.0008001899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000618338,"about_ca_system_score_gemma":0.0004656465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002108795,"about_ca_topic_score_gemma":0.006320984,"domain_scores_codex":[0.9921713,0.0005050774,0.001034963,0.002333308,0.001174217,0.002781127],"domain_scores_gemma":[0.9933369,0.0007615796,0.001988136,0.003020875,0.0001731393,0.000719435],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.005761351,0.003232062,0.03144034,0.01617147,0.01461927,0.00549069,0.02222751,0.001289053,0.008590204,0.1868433,0.6460835,0.05825133],"study_design_scores_gemma":[0.01546366,0.0004566132,0.005346288,0.007561619,0.001650367,0.00005645266,0.001483761,0.000897037,0.0004307417,0.07183603,0.8894196,0.00539786],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0102784,0.003916565,0.0977626,0.0003296658,0.003357432,0.01509611,0.003675181,0.004223849,0.8613602],"genre_scores_gemma":[0.1677072,0.003983707,0.1148791,0.0005900647,0.003005791,0.001598254,0.007707449,0.01624797,0.6842805],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2433361,"threshold_uncertainty_score":0.9999778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01798832985682494,"score_gpt":0.2521557900052462,"score_spread":0.2341674601484213,"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."}}