Lukas Stevens

According to our database, Lukas Stevens authored at least 11 papers between 2021 and 2026.

Collaborative distances:

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

2026

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints.

Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu, Dmitriy Traytel

CoRR, April, 2026

2025

Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model.

Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz

CoRR, March, 2025

A Verified Reduction Algorithm from MLSSmf to MLSS.

Yiran Duan, Lukas Stevens

Arch. Formal Proofs, 2025

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm.

Lukas Stevens, Rebecca Ghidini

Proceedings of the Automated Deduction - CADE 30, 2025

2023

MLSS Decision Procedure.

Lukas Stevens

Arch. Formal Proofs, 2023

Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.

Lukas Stevens

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Towards a Verified Prover for a Ground Fragment of Set Theory.

Lukas Stevens

CoRR, 2022

Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space.

Kevin Kappelmann, Jonas Rädle, Lukas Stevens

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

A Linter for Isabelle: Implementation and Evaluation.

Yecine Megdiche, Fabian Huch, Lukas Stevens

CoRR, 2022

Verification of Query Optimization Algorithms.

Lukas Stevens, Bernhard Stöckl

Arch. Formal Proofs, 2022

2021

A Verified Decision Procedure for Orders in Isabelle/HOL.

Lukas Stevens, Tobias Nipkow

Proceedings of the Automated Technology for Verification and Analysis, 2021