{"id":"W2999627722","doi":"10.1007/s00165-019-00502-2","title":"Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput","year":2020,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Modular Robots and Swarm Intelligence","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Theory of computation; Amendment; Delta; Computer science; Mathematics; Political science; Law; Algorithm; Physics","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.00006031437,0.0001578443,0.0001882485,0.00005254756,0.00009006297,0.00002861198,0.0001325744,0.00002932432,0.000009261759],"category_scores_gemma":[0.00003679103,0.000139999,0.00003299839,0.0002083357,0.0000170666,0.0001935505,0.00006773817,0.0001285348,0.00001018105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004436306,"about_ca_system_score_gemma":0.0000258762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003863569,"about_ca_topic_score_gemma":0.00003312817,"domain_scores_codex":[0.9991005,0.000007771814,0.0002501361,0.0001763346,0.0001956648,0.0002695904],"domain_scores_gemma":[0.9995782,0.0000405673,0.00005339997,0.000117697,0.00008885334,0.0001212686],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002396773,0.00001668551,0.0005608551,0.00007123251,0.00002538392,0.000003680487,0.001364715,0.9831414,0.001412033,0.0002469897,0.0003595809,0.01277349],"study_design_scores_gemma":[0.000214353,0.0002094988,0.000377176,0.0001069363,0.000009859057,0.000007665707,0.0001277836,0.9530507,0.04565008,0.00001269187,0.0000574137,0.0001758531],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2561972,0.00004190721,0.7420295,0.00003732428,0.0001880139,0.0001644657,0.000004760422,0.0001876635,0.001149207],"genre_scores_gemma":[0.9773356,0.000006880034,0.0223844,0.0001123559,0.0001044822,0.00000268376,0.0000136299,0.0000298724,0.00001014811],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7211384,"threshold_uncertainty_score":0.5708994,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.013551040505383,"score_gpt":0.2039885824714296,"score_spread":0.1904375419660466,"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."}}