Jannis Limperg

According to our database, Jannis Limperg authored at least 5 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization.

Anmol Agarwal, Natalie Neamtu, Pranjal Aggarwal, Seungone Kim, Jannis Limperg, Cedric Flamant, Kanna Shimizu, Bryan Parno, Sean Welleck

CoRR, May, 2026

Incremental Forward Reasoning for White-Box Proof Search.

Xavier Généreux, Jannis Limperg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Tactic Script Optimisation for Aesop.

Jannis Limperg

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2023

Aesop: White-Box Best-First Proof Search for Lean.

Jannis Limperg, Asta Halkjær From

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2021

A novice-friendly induction tactic for lean.

Jannis Limperg

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021