{"id":"W1981525483","doi":"10.1016/j.scico.2012.05.006","title":"Invariant assertions, invariant relations, and invariant functions","year":2012,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Invariant (physics); Computer science; Invariant polynomial; Finite type invariant; Mathematics; Mathematical analysis","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.008930047,0.00113958,0.001352175,0.004068132,0.003975805,0.006959078,0.002815696,0.00302756,0.00699872],"category_scores_gemma":[0.02990615,0.001498708,0.002450157,0.004005457,0.01722547,0.03065262,0.005675637,0.007462204,0.001346541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001962357,"about_ca_system_score_gemma":0.002201225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002374744,"about_ca_topic_score_gemma":0.001701852,"domain_scores_codex":[0.9912516,0.002738389,0.0009329595,0.00199968,0.002107547,0.0009698681],"domain_scores_gemma":[0.9662519,0.02026766,0.003109033,0.006100627,0.003188278,0.001082545],"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.00003442178,0.00002830114,0.0004787455,0.00004314816,0.00001017119,0.00007963493,0.0003364029,0.000515867,0.0002187006,0.9881632,0.001252317,0.008839191],"study_design_scores_gemma":[0.000009377522,0.000009684641,0.0001037594,0.00001706404,0.00001769386,0.00007337223,0.00007687312,0.001953728,0.0003122038,0.9950373,0.002376314,0.00001256192],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04235388,0.00305776,0.912917,0.00501936,0.0005604445,0.00008242483,0.0005649363,0.0008841958,0.03456002],"genre_scores_gemma":[0.7144772,0.003727578,0.259285,0.002540181,0.002686524,0.0003930228,0.001990748,0.0005597183,0.01434004],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008930047,"threshold_uncertainty_score":0.04722714,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02584949135833708,"score_gpt":0.2523502179027812,"score_spread":0.2265007265444441,"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."}}