Timo Bertram@timo-bertram · 1 worksDevelops neuro-symbolic approaches for extrapolation in reasoning models.