3 ms·
Neat project but how does this compare to : https://github.com/TIGER-AI-Lab/TheoremExplainAgent https://github.com/TIGER-AI-Lab/TheoremExplainAgent
by upmind 8mo ago
Neat project but how does this compare to : https://github.com/TIGER-AI-Lab/TheoremExplainAgent https://github.com/TIGER-AI-Lab/TheoremExplainAgent