Tag
Wyrm is an open-source symbolic algebra engine in TypeScript that powers a gesture-based algebra app for iOS and Android. It guarantees soundness by construction through conditional rewrite rules, allowing users to solve equations by touch.
MathFormer is a small seq2seq model that achieves ~98.6% accuracy on symbolic math tasks, suggesting that mathematical reasoning in LLMs may be large-scale structured pattern completion rather than true reasoning.