3 ms·Ontology-Guided LLMs: Grounding Inference with OpenMath Knowledge1 points by rkovashikawa 8mo ago