We have 3 of 8 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes specification languages the new programming languages. We argue that an unambiguity constraint is key: in addition to proving that its implementation satisfies the specif...
LALS (Latent Association Leaning Score) is introduced, a zero-shot metric that projects visual-token activations into the model's text-embedding space to measure concept associations per token and layer and shows that culturally loaded visual cues further modulate these internal associations.
This work proposes Formal Disco: a distributed system for coordination of LLM-based workers that can be easily applied to open-ended synthetic data generation at scale and proposes a principle of maximum entropy for synthetic program generation.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
