Blending logic systems with the neural networks that power large language models is one of the hottest trends in artificial intelligence. Now, however, the computer-science community is pushing hard ...