Paul Krogmeier
where else to find them
what they talk about
where they keep going back
on a stage with
all 8 in the filters
who talks about the same things
- P. Madhusudan10 talks
- Thomas Reps20 talks
- Sarah E. Chasins11 talks
- Loris D'Antoni17 talks
- Işıl Dillig21 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| Synthesizing DSLs for Few-Shot Learning | OOPSLA 2025 | 2025-10-16 |
Constructs a precise formulation: given a base language L, a complexity measure (parse tree depth), and a metagrammar of candidate DSLs, decides whether a… | ||
| Languages with Decidable Learning: A Meta-theorem | OOPSLA 2023 | 2023-10-23 |
Proves a concrete meta-theorem: if a symbolic language admits a facet interpreter whose extra memory is bounded by the fixed structure (independent of… | ||
| Synthesizing Axiomatizations using Logic Learning | OOPSLA 2022 | 2022-12-05 |
A synthesis pipeline called the LAS framework combines a soundness checker, counterexample generator, independence checker and constraint-based logic learner… | ||
| Learning Formulas in Finite Variable Logics | POPL 2022 | 2022-01-16 |
Decision procedures synthesize separating sentences, query formulas, and terms over finite structures for finite-variable logics (FO^k), FO^k with nested or… | ||
| Deciding Accuracy of Differential Privacy Schemes | POPL 2021 | 2021-01-17 |
Introduces accuracy as a parametric notion based on distance to disagreement (dd) and output closeness γ, yielding an explicit alpha–beta–gamma claim: e.g. for… | ||
| nothing matches | ||