Как преобразовать столбец даты и времени поляров в строковый столбец? ⇐ Python

[Anonymous]

Я пытаюсь изменить столбец даты и времени на строковый столбец, используя библиотеку Polars. Мне нужны только даты в новом столбце:
import polars as pl

df = pl.from_repr("""
┌─────────────────────┐
│ date_time │
│ --- │
│ datetime[ns] │
╞═════════════════════╡
│ 2007-04-19 00:00:00 │
│ 2007-05-02 00:00:00 │
│ 2007-05-03 00:00:00 │
│ 2007-05-03 00:00:00 │
└─────────────────────┘
""")

Приведенное ниже решение включает время, мне нужна только дата.
df.with_columns(pl.col('date_time').cast(pl.String))

shape: (4, 1)
┌───────────────────────────────┐
│ date_time │
│ --- │
│ str │
╞═══════════════════════════════╡
│ 2007-04-19 00:00:00.000000000 │
│ 2007-05-02 00:00:00.000000000 │
│ 2007-05-03 00:00:00.000000000 │
│ 2007-05-03 00:00:00.000000000 │
└───────────────────────────────┘


Подробнее здесь: https://stackoverflow.com/questions/739 ... ing-column