{"id":"W3044333037","doi":"10.1016/j.jlamp.2020.100581","title":"Calculational relation-algebraic proofs in the teaching tool","year":2020,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematical proof; Relation (database); Rewriting; Algebraic number; Associative property; Computer science; Algebra over a field; Proof assistant; Calculus (dental); Mathematics; Programming language; Pure mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007091773,0.0001748025,0.0003873319,0.0001383608,0.0001437667,0.0003160153,0.0007093604,0.0001268149,0.000008190311],"category_scores_gemma":[0.00177256,0.0001006971,0.000134881,0.0006003872,0.00007917247,0.0005167875,0.0001598464,0.0009379517,0.000002239768],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003277354,"about_ca_system_score_gemma":0.00006440552,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000815055,"about_ca_topic_score_gemma":0.000002468809,"domain_scores_codex":[0.9964404,0.001513385,0.0009339568,0.0003118248,0.0004742958,0.0003261797],"domain_scores_gemma":[0.9981477,0.001087689,0.0004150952,0.0001628914,0.00006733345,0.000119299],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001347199,0.0001096537,0.01097504,0.00002835558,0.00001250753,0.0001046966,0.003341284,0.00004858135,0.0001276573,0.4432031,0.00001876405,0.5420169],"study_design_scores_gemma":[0.00305148,0.001694819,0.104635,0.0001105439,0.00004413725,0.001223041,0.001498466,0.03632616,0.0001189088,0.7793757,0.07115958,0.0007620825],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03551579,0.001225417,0.9572972,0.004869928,0.0002134936,0.0003567165,8.78316e-8,0.00003137869,0.000489993],"genre_scores_gemma":[0.6265491,0.000009856384,0.3726515,0.0005737597,0.0001916809,0.0000113311,4.688163e-7,0.000004524272,0.000007760171],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5910333,"threshold_uncertainty_score":0.4106308,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06795301837812634,"score_gpt":0.3526213937981721,"score_spread":0.2846683754200458,"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."}}