{"id":"W2895195227","doi":"10.1007/978-3-030-02149-8_22","title":"Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematical proof; Rewriting; Computer science; Relation (database); Associative property; Algebraic number; Algebra over a field; Proof assistant; Programming language; Calculus (dental); Mathematics; 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.00269311,0.0004653113,0.0003860148,0.0006531109,0.0005070423,0.000714928,0.003875291,0.0003574689,0.00004570731],"category_scores_gemma":[0.0004421686,0.0003293011,0.000141913,0.0006632211,0.0006452624,0.0007599061,0.0009225121,0.00133947,0.0001328378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003385587,"about_ca_system_score_gemma":0.0006432112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002480799,"about_ca_topic_score_gemma":0.0001645349,"domain_scores_codex":[0.9960673,0.0001337483,0.0005750791,0.001395099,0.001183258,0.0006455594],"domain_scores_gemma":[0.9971707,0.0009553425,0.0002726856,0.001314774,0.0001993778,0.00008712921],"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.00000712172,0.0001140264,0.001357659,0.00003762892,0.00001471279,0.0001086377,0.0134721,0.009689508,0.00003254774,0.6431234,0.0003082391,0.3317344],"study_design_scores_gemma":[0.0003807496,0.000156464,0.006921676,0.0003165716,0.000007417881,0.0001284111,6.095927e-7,0.4757984,0.00006162639,0.5087837,0.006728296,0.0007160815],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001047835,0.0003272994,0.9772497,0.0008806077,0.001232252,0.0005172084,0.0000019232,0.0001070034,0.01863616],"genre_scores_gemma":[0.7570232,0.00001087023,0.2373039,0.002582107,0.001718427,0.00003205301,0.00001412638,0.0000385843,0.001276849],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7559753,"threshold_uncertainty_score":0.9999159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01831960095891187,"score_gpt":0.2545322640516191,"score_spread":0.2362126630927072,"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."}}