Background
The pilot task is equational implication over magmas: given Equation 1 and Equation 2, determine whether Equation 1 implies Equation 2.
This challenge is based on the Equational Theories Project:
Example: E_4: x = x * y implies E_3: x = x * x.
Raw implication graph: export_raw_implications
Law list (4694 laws): equations.txt
Core Task
How far can we push a hard-coded python based classifier that solves implication problems of the form:
Does Equation 1 imply Equation 2?
to get the highest possible accuracy when applied on the entire raw implication graph?
Full details on the competition are on this page: https://competition.sair.foundation/competitions/mathematics-distillation-challenge-equational-theories-stage1/overview
Example python classifiers:
https://github.com/teorth/equational_theories/blob/main/scripts/predictor/predictor1.py
https://github.com/teorth/equational_theories/blob/main/scripts/predictor/predictor2.py
If you are inspired by this idea, you can reach out to the authors for collaboration or cite it:
@misc{ren-hardcoded-python-classifier-2026,
author = {Ren, Andrew},
title = {Hard-coded Python Classifier for Equational Implication},
year = {2026},
url = {https://hypogenic.ai/ideahub/idea/FD8su7NbigVd9LxR6aGN}
}Please sign in to comment on this idea.
No comments yet. Be the first to share your thoughts!