Exceptional theta correspondence F4 x PGL(2) for level one automorphic representations Preprint 2025, arXiv:2501.19101
Level one automorphic representations of an anisotropic exceptional group over Q of type F4 Preprint 2024, arXiv:2407.05859. Some codes and tables involving the algorithm described in the paper can be found here.
Level one algebraic automorphic forms of type F4 PhD thesis, under the supervision of Gaëtan Chenevier, defended on 28 May 2025
Use at your own risk!