Marc Fischer
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Martin Vechev9 talks
- Daniel Kroening2 talks
- Nada Amin26 talks
- Meng Wang16 talks
- Michel Steuwer17 talks
- Yizhou Zhang13 talks
| title | conference | date |
|---|---|---|
| Prompting Is Programming: A Query Language for Large Language Models | PLDI 2023 | 2023-06-17 |
Introduces LMQL, a small query language that combines templated prompts, Python control flow and constraint decoding to steer off‑the‑shelf LLMs by masking… | ||
| Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks | PLDI 2023 | 2023-06-17 |
A new abstract-interpretation framework abstracts the concrete fixpoints of numerical fixpoint iterators and implements it in CRAFT, introducing the… | ||
| nothing matches | ||