LLM Interactive Optimization of Open Source Python Libraries - Case Studies and Generalization. - Andreas Florath; Franz J. Király (CoRR, 2023)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code. - Andreas Florath (CoRR, 2024)