Set your Instant Pot to saute and add the butter. Add the garlic, celery, onions, carrots, and thyme.
Cook for about 2 minutes, until the vegetables are slightly softened. Add the lentils and cook for one minute. Add the chicken stock and set it to "soup" for 20 minutes.
Once they are done cooking quick release for 5 minutes.