{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009193587,0.001129838,0.0006570122,0.001615904,0.0007788241,0.003559934,0.001946934,0.001019171,0.08127061],"category_scores_gemma":[0.00664936,0.0006861659,0.001209449,0.002277537,0.001303874,0.004218764,0.002302701,0.001843694,0.01600354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001150119,"about_ca_system_score_gemma":0.0009656975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001622015,"about_ca_topic_score_gemma":0.002176684,"domain_scores_codex":[0.9987496,0.0004543772,0.00009040287,0.0002368315,0.0003823803,0.00008635381],"domain_scores_gemma":[0.9980666,0.001062587,0.00006988876,0.0005004604,0.0002348714,0.00006570614],"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.00008854194,0.00004403036,0.0001628383,0.0005057754,0.00002592915,0.0001408106,0.0003437137,0.009468854,0.002377307,0.7437997,0.0488993,0.194143],"study_design_scores_gemma":[0.00006492537,0.00002192091,0.0001087142,0.0001386274,0.00003162885,0.0001531894,0.0000924532,0.03533479,0.004561753,0.7912469,0.1682218,0.0000233393],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003396619,0.0003510765,0.9465938,0.0005424698,0.0001535676,0.0001172296,0.001491299,0.007580105,0.03977386],"genre_scores_gemma":[0.1879946,0.001459386,0.7545131,0.0003283329,0.0002198156,0.0003513345,0.007322266,0.007049411,0.04076168],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08127061,"threshold_uncertainty_score":0.2718773,"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."}}