{"id":"W190713494","doi":"","title":"Mining Maple Code for Contracts","year":2006,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Maple; Computer science; Programming language; Axiom; Terminology; Wish; Code (set theory); Theoretical computer science; Mathematics; Linguistics","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":[],"consensus_categories":[],"category_scores_codex":[0.0001995728,0.00006484079,0.00009465362,0.0000257545,0.00007655324,0.0001489716,0.0002931304,0.00003728482,0.00000841094],"category_scores_gemma":[0.00001626204,0.00004997039,0.00004381514,0.00007467061,0.00001238938,0.000150694,0.00003849369,0.00002139379,0.00004614378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001135259,"about_ca_system_score_gemma":0.00002121875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001407805,"about_ca_topic_score_gemma":0.0002481232,"domain_scores_codex":[0.9993477,0.00001195338,0.0001350392,0.0001879365,0.00009543329,0.0002218926],"domain_scores_gemma":[0.9995819,0.0000821443,0.00004776466,0.0002032618,0.0000498278,0.00003508374],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001399361,0.00002749034,0.000712812,0.000007131848,0.00000397765,0.000003723288,0.00008051375,0.00001142819,0.0002348805,0.9714444,0.01605123,0.01142101],"study_design_scores_gemma":[0.0006696661,0.000111943,0.00113829,0.000001759781,0.000004122347,0.00001766561,0.00004378782,0.02182108,0.004034417,0.05433892,0.9176127,0.0002056471],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001608218,0.00009176531,0.9448065,0.000321257,0.0003957885,0.0001960366,5.465259e-7,0.0002083635,0.05237155],"genre_scores_gemma":[0.9434044,3.458099e-7,0.04728529,0.000186214,0.0001697149,0.00002615273,0.000002967171,0.000004461219,0.008920502],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9417961,"threshold_uncertainty_score":0.2037733,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02970442261574498,"score_gpt":0.2553076445976262,"score_spread":0.2256032219818813,"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."}}