Sauté Aromatics: Heat olive oil in the Instant Pot on the sauté setting. Cook onion until translucent, then add garlic, carrots, and celery. Sauté for 2-3 minutes.
Add Ingredients: Mix in potatoes, beans, tomatoes, vegetable broth, thyme, paprika, bay leaf, salt, and pepper.
Pressure Cook: Secure the lid, set the valve to "Sealing," and pressure cook on high for 30 minutes (15 minutes for canned beans). Let the pressure release naturally for 10 minutes before venting manually.
Add Greens and Lemon Juice: Stir in kale or spinach until wilted. Finish with lemon juice and adjust seasoning.
Serve: Ladle into bowls and enjoy warm, perhaps with crusty bread.