8 ounces dry white beans (about 1 1/3 cups)
4 teaspoons extra-virgin olive oil
1 large onion, minced (about 2 cups)
1 tablespoon garlic, minced
1 serrano chile, sliced
Kosher salt
1/4 teaspoon hot or sweet paprika
1 tablespoon tomato paste
3 cups chicken stock (or water)
15 sprigs cilantro
1/2 small sugar pumpkin (peeled, seeded, and cut into 1-inch chunks)