After some back and forth and looking around online resources, the link provided by @Mirdarthos had the answer to my issue!
From here, running the following command:
pamac build hplip-plugin
Then doing a full reboot of the machine added the correct driver to the list of available drivers, which wasn’t present before. The driver that worked in my case was the following:
HP Neverstop Laser 100x, driverless, cups-filters 2.0.1
Hope this helps anyone in the future, and thank you for pointing me in the right direction!