2 ms·
There was a paper recently that tackled this: https://tiger-ai-lab.github.io/TheoremExplainAgent/ https://tiger-ai-lab.github.io/TheoremExplainAgent/
by Secretmapper 2y ago
There was a paper recently that tackled this:
https://tiger-ai-lab.github.io/TheoremExplainAgent/ https://tiger-ai-lab.github.io/TheoremExplainAgent/