Andreas Florath

Orcid: 0009-0001-6471-7372

According to our database¹, Andreas Florath authored at least 3 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Aletheia-Probe: A Tool for Automated Journal Assessment.

[DOI]

CoRR, January, 2026

2024

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code.

[DOI]

CoRR, 2024

2023

LLM Interactive Optimization of Open Source Python Libraries - Case Studies and Generalization.

[DOI]

CoRR, 2023