This year's FLOC will include RajeevFest, a special workshop to celebrate the career of my PhD advisor Rajeev Alur!
lorisdanto.github.io/rajeevfest.git…
- Here are my ten new followers. I understand bot detection is hard, but these ones seem not that hard to catch...
- Why is it called a Large Language Model and not a Word Wide Web?
- Getting LLMs to generate samples that satisfy constraints is a fundamental problem in machine learning. The standard approach is rejection sampling: generate a sample, check whether it satisfies the constraint, and if not, try again. 1/
- At ICML, Jinwoo Kim will present the first approach for enforcing formal structural constraints like regexes, grammars, and schemas on the output of continuous diffusion language models, entirely without retraining. 1/

