Jannis Limperg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2021–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Incremental Forward Reasoning for White-Box Proof Search. | Xavier Gnreux, Jannis Limperg |
| 2025 | CPP | Tactic Script Optimisation for Aesop. | Jannis Limperg |
| 2023 | CPP | Aesop: White-Box Best-First Proof Search for Lean. | Jannis Limperg, Asta Halkjr From |
| 2021 | CPP | A novice-friendly induction tactic for lean. | Jannis Limperg |