Early experiments on context-dependent constrained genertion with LLM. See proposition 7 for recent developpements.
Impements a sampler for LLM loaded using the HF transformers API, that restrictes them to Simply Typed Lmabda Calculus
Not very optimized