The most recent Meliad Library commit, pushed 8 hours ago, is not compatible with AlphaGeometry, as it moved decoder_stack.py under memory/, resulting in a ModuleNotFoundError in decoder_stack.py:
from transformer import decoder_stack
ImportError: cannot import name 'decoder_stack' from 'transformer' (/content/alphageometry/meliad_lib/meliad/transformer/__init__.py)