{"id":"W3018867236","doi":"10.1007/978-3-030-45234-6_22","title":"Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; First-order logic; Automated theorem proving; Graph; Programming language; Theoretical computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.00395211,0.00130926,0.0008881594,0.001902207,0.0007078737,0.002492822,0.003003332,0.001282099,0.008768318],"category_scores_gemma":[0.02089059,0.0009897405,0.00192561,0.001684946,0.001322422,0.003799869,0.002655229,0.002286573,0.002307361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001281399,"about_ca_system_score_gemma":0.00322928,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002641183,"about_ca_topic_score_gemma":0.004063703,"domain_scores_codex":[0.9938425,0.002488528,0.00027863,0.0006147236,0.002415426,0.000360077],"domain_scores_gemma":[0.9838309,0.01184615,0.000594056,0.002301549,0.001290249,0.0001371022],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006455521,0.0009877459,0.003443092,0.001258553,0.000332694,0.0009091332,0.0008601641,0.4074766,0.06115303,0.1345108,0.02068048,0.3677422],"study_design_scores_gemma":[0.0001484364,0.0001033468,0.0002005114,0.00004254233,0.00006346605,0.0001952459,0.0001172615,0.8706243,0.05926832,0.06115329,0.008054481,0.00002877545],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02294841,0.000125498,0.9590129,0.000272388,0.00004509985,0.0001656272,0.0008007623,0.0139938,0.002635457],"genre_scores_gemma":[0.1961746,0.0002673412,0.7949421,0.0002221718,0.00002285085,0.000294321,0.002931196,0.003260471,0.00188507],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008768318,"threshold_uncertainty_score":0.02933294,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02652701998879583,"score_gpt":0.2250484707485506,"score_spread":0.1985214507597548,"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."}}