Loris D'Antoni (@lorisdanto) / X

Loris D'Antoni

9,980 posts

Loris D'Antoni

@lorisdanto

A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.

San Diego, CA

Joined January 2010

Loris D'Antoni
@lorisdanto
Jul 6
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…
Loris D'Antoni
@lorisdanto
Jun 19
Here are my ten new followers. I understand bot detection is hard, but these ones seem not that hard to catch...
Loris D'Antoni
@lorisdanto
Jun 10
Why is it called a Large Language Model and not a Word Wide Web?
Loris D'Antoni
@lorisdanto
Jun 5
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/
Loris D'Antoni
@lorisdanto
May 29
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/

New to X?