monogate.dev — The EML Challenge Board

monogate.dev

The EML Challenge Board

Search Leaderboard How to Submit

Canonical validator and leaderboard for open problems in the EML operator. Submit a construction. Get credited permanently. arXiv:2603.21852

The operator

eml(x, y) = exp(x) − ln(y)

Grammar: S → 1 | eml(S, S) · strict principal-branch ln · ln(0) undefined

Search tool ↗Explorer ↗npm ↗GitHub ↗

Open Challenges — 4 problems

Construct sin(x) as a pure EML tree using only constant {1} under strict principal-branch ln where ln(0) throws.

Valid submissions

Construct cos(x) as a pure EML tree using only constant {1} under strict principal-branch ln where ln(0) throws.

Valid submissions

Construct the constant π from terminal {1} under strict principal-branch grammar.

Valid submissions

i (strict grammar)

Construct i = √−1 from terminal {1} under strict principal-branch grammar. Under extended-reals convention this is solved (K=75, pveierland). Under strict grammar it remains open.

Valid submissions