Machine Learning Transformers for Higher-Order Logic E2E DFL using Learned Solvers Optimal Stopping Problem with unknown variable On the Robustness of DFl Enterprise Solutions & Miscellaneous Power Monitor Image Processing Tool (IMP) Full-Stack University Petition System