xInferMath
A system that reads LaTeX math documents, understands them using AI and symbolic reasoning, and generates solutions by combining language models, retrieval, and math-specific inference tools.
A system that reads LaTeX math documents, understands them using AI and symbolic reasoning, and generates solutions by combining language models, retrieval, and math-specific inference tools.
Log in or sign up for Devpost to join the conversation.