Validation of an algorithm for identifying type 1 diabetes in adults based on electronic health record data