{"id":"W3163618964","doi":"10.17605/osf.io/chm2k","title":"ARDiff: An Equivalence Checking Framework","year":2020,"lang":"en","type":"article","venue":"OSF Preprints (OSF Preprints)","topic":"Intensive Care Unit Cognitive Disorders","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Equivalence (formal languages); Computer science; Mathematics; Calculus (dental); Discrete 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.0129828,0.002929419,0.002072647,0.006072121,0.001278512,0.005441935,0.00833417,0.003181425,0.07102028],"category_scores_gemma":[0.03608595,0.003698452,0.005186462,0.003059356,0.002889544,0.008702795,0.008092494,0.006406697,0.02651291],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002068308,"about_ca_system_score_gemma":0.003858234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004147031,"about_ca_topic_score_gemma":0.003860485,"domain_scores_codex":[0.9826189,0.004566299,0.002903176,0.002398538,0.00643333,0.001079858],"domain_scores_gemma":[0.9784487,0.01187464,0.0008603387,0.00501012,0.003448558,0.000357616],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008882491,0.0004827195,0.002126093,0.003572394,0.0004486286,0.0007444588,0.0006748807,0.03473225,0.009134277,0.3623396,0.1729794,0.4118771],"study_design_scores_gemma":[0.0007058591,0.0002112154,0.0006295878,0.0009110649,0.0002542424,0.0008234358,0.0001489623,0.1609019,0.02745775,0.4318188,0.3758289,0.0003082841],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006647342,0.0003605142,0.8725635,0.0002329202,0.0001612418,0.0002629338,0.004148623,0.1154466,0.006158848],"genre_scores_gemma":[0.06506233,0.0009680733,0.8492055,0.000698432,0.0002782449,0.00109868,0.02227432,0.05242641,0.007987999],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.07102028,"threshold_uncertainty_score":0.2375865,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03276542947209719,"score_gpt":0.3029208496694737,"score_spread":0.2701554201973765,"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."}}