This would be a great goal. Maybe we can start with a simple benchmarking exercise.
If you are inspired by this idea, you can reach out to the authors for collaboration or cite it:
@misc{tan-simplifying-math-proof-2026,
author = {Tan, Chenhao},
title = {Simplifying Math Proof from LLMs},
year = {2026},
url = {https://hypogenic.ai/ideahub/idea/o01UUoXVUf1uBA1zvOQU}
}Please sign in to comment on this idea.
No comments yet. Be the first to share your thoughts!