{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001102342,0.0008667599,0.0009122851,0.001855946,0.001488905,0.003617893,0.001062001,0.0008434682,0.02009763],"category_scores_gemma":[0.002484196,0.0006182914,0.0009236967,0.002338078,0.004244847,0.01018767,0.002131057,0.004229085,0.006179543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002419451,"about_ca_system_score_gemma":0.0008073078,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006902865,"about_ca_topic_score_gemma":0.0005638255,"domain_scores_codex":[0.9988777,0.0002607678,0.00008088539,0.0002006939,0.0004927951,0.00008712929],"domain_scores_gemma":[0.9992259,0.0003525014,0.00005028967,0.0001832406,0.0001559153,0.00003225988],"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.000003242955,0.000003142292,0.00001539377,0.00003432213,0.000002786541,0.000006949415,0.00008873706,0.0001280237,0.0001474396,0.9892522,0.002771895,0.00754589],"study_design_scores_gemma":[0.000004157454,0.000005653987,0.00004952664,0.0000255505,0.00000638768,0.00003862528,0.00002876333,0.0003308253,0.0002372916,0.9532019,0.04606632,0.000004898842],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.01160181,0.01962613,0.3820111,0.007657828,0.002148097,0.00006699614,0.0004431886,0.0009290974,0.5755157],"genre_scores_gemma":[0.6248266,0.02281847,0.1001371,0.002545859,0.005433484,0.0002917012,0.001337033,0.001536191,0.2410736],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.02009763,"threshold_uncertainty_score":0.06723332,"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."}}