Aishwarya Sivaraman
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Synthesizing Implication Lemmas for Interactive Theorem Proving | OOPSLA 2025 | 2025-10-16 |
Implements a Rocq tactic called dilemma that synthesizes implication lemmas of the form P1 ∧ … ∧ Pn ⇒ Q by data-driven invariant inference over sample… | ||
| Data-Driven Lemma Synthesis for Interactive Proofs | OOPSLA 2022 | 2022-12-05 |
A tool called lfind as a Coq tactic reduces lemma synthesis to a data-driven program synthesis problem: it generalizes a stuck goal, generates input/output… | ||
| nothing matches | ||