Login / Signup
Andreas Florath
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Open Source
Computer Algebra
Theorem Proving
Scripting Language
Top Venues
CoRR
</>
Publications
</>
Andreas Florath
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code.
CoRR
(2024)
Andreas Florath
,
Franz J. Király
LLM Interactive Optimization of Open Source Python Libraries - Case Studies and Generalization.
CoRR
(2023)