FIELD NOTES TOPIC
ai in mathematics
1 note, newest first.
Making Mathematical Knowledge Explainable, Accessible and Interoperable Through Large Language Model Integration
The authors propose integrating Large Language Models (LLMs) with a mathematical knowledge base called MathModDB to improve its accessibility, explainability, and interoperability. The integration is achieved through a…
