2 papers
cs.CL2026
Weave of Formal Thought
Alexandre Bouayad
Large language models attain remarkable surface fluency on code, yet they do not formally guarantee the syntactic validity of their output, nor do they typically leverage the hiera…
math.QA2011
Groupes Quantiques d'Interpolation de Langlands de Rang 1
Alexandre Bouayad
Interpolating Langlands Quantum Groups of Rank 1 -- We study a certain family, parameterized by an positive integer g, of double deformations of the envelopping algebra U(sl2), in…