diff --git a/.circleci/config.yml b/.circleci/config.yml
index 0e1bd98..865d73d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -18,7 +18,7 @@ jobs:
   check-buildifier:
     docker:
       # See https://circleci.com/developer/images/image/cimg/go for a list of images
-      - image: cimg/go:1.17.5@sha256:03bc021893b54e1f7c981dc3a391df868a01e24899044d382f068d2014b80348
+      - image: cimg/go:1.20.5@sha256:59e5e42480916a4e7f2a8dc11760a677adb393d114ec8a302b2cd801b34e7527
     steps:
       - checkout
       - run: go get github.com/bazelbuild/buildtools/buildifier
@@ -29,7 +29,7 @@ jobs:
   check-python:
     docker:
       # See https://circleci.com/developer/images/image/cimg/python for a list of images
-      - image: cimg/python:3.10.1@sha256:fc682462c99327b5607503c533232d9447e334ba47e3eca0d8b772ae4ef6b0b8
+      - image: cimg/python:3.11.4@sha256:feceb270bfad3dacea9ad5a198e4edde57d510732027e6c6f28f43881fa1768f
     steps:
       - checkout
       - run: pip install -r requirements.txt
@@ -40,7 +40,7 @@ jobs:
   check-yapf:
     docker:
       # See https://circleci.com/developer/images/image/cimg/python for a list of images
-      - image: cimg/python:3.10.1@sha256:fc682462c99327b5607503c533232d9447e334ba47e3eca0d8b772ae4ef6b0b8
+      - image: cimg/python:3.11.4@sha256:feceb270bfad3dacea9ad5a198e4edde57d510732027e6c6f28f43881fa1768f
     steps:
       - checkout
       - run: pip install yapf
diff --git a/WORKSPACE b/WORKSPACE
index b3c0613..793f6c4 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -3,8 +3,8 @@ load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
 # Make python rules available. See https://github.com/bazelbuild/rules_python#getting-started
 http_archive(
     name = "rules_python",
-    sha256 = "954aa89b491be4a083304a2cb838019c8b8c3720a7abb9c4cb81ac7a24230cea",
-    url = "https://github.com/bazelbuild/rules_python/releases/download/0.4.0/rules_python-0.4.0.tar.gz",
+    sha256 = "8272287b125a23bfc79650ecbbc045ebcaee4d632338b1a50aad34357bcbadce",
+    url = "https://github.com/bazelbuild/rules_python/releases/download/0.23.0/rules_python-0.23.0.tar.gz",
 )
 
 # See https://github.com/bazelbuild/rules_python#fetch-pip-dependencies-lazily-experimental
diff --git a/requirements.txt b/requirements.txt
index a38fb22..f8459c3 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1 +1 @@
-sympy==1.9
+sympy==1.12