{"id":"W2279884163","doi":"10.1007/978-3-319-24704-5_12","title":"Relational Mathematics for Relative Correctness","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Engineering Research","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Correctness; Computer science; Theoretical computer science; Relation (database); Algebraic number; Programming language; Program analysis; Algorithm; Algebra over a field; Mathematics; Data mining; Pure mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001630472,0.0003984938,0.0004366619,0.0007645396,0.000168449,0.0002736456,0.002594639,0.0003270587,0.00001285111],"category_scores_gemma":[0.001842754,0.0003739364,0.0001130399,0.0005890828,0.0004229254,0.0006640076,0.0009840701,0.0007791737,0.00006155064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006103299,"about_ca_system_score_gemma":0.001061538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003242729,"about_ca_topic_score_gemma":0.000006688786,"domain_scores_codex":[0.9964773,0.00001653902,0.0004329893,0.001099867,0.001385407,0.0005879037],"domain_scores_gemma":[0.9934281,0.004292133,0.0001930824,0.001119975,0.0007641151,0.0002025858],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009662729,0.00005647741,0.0001125064,0.0001465703,0.00003548056,0.00005732429,0.002437696,0.1723012,0.00002190968,0.5854675,0.0005729635,0.2387808],"study_design_scores_gemma":[0.000205888,0.0001071061,0.00004745202,0.0002246958,0.000003956383,0.00004238917,7.514303e-8,0.550464,0.0000788859,0.4461811,0.002286911,0.0003575854],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000174269,0.0003431486,0.9945909,0.0004128394,0.002322647,0.0006240525,0.00001009732,0.0002493446,0.001429547],"genre_scores_gemma":[0.007957282,0.000005725366,0.9895082,0.000117059,0.0004620022,0.00003629918,0.000009952377,0.00004964788,0.001853901],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3781627,"threshold_uncertainty_score":0.9998713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06001236573283478,"score_gpt":0.2942546414822602,"score_spread":0.2342422757494254,"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."}}