GBOML: Graph-Based Optimization Modeling Language
An universal bidsificator of multi-modal datsets
The evolving specification for Alethe, a flexible format for SMT proofs.