Florath, Andreas
- LLM Interactive Optimization of Open Source Python Libraries -- Case Studies and Generalization
2023/12/08 by Andreas Florath, Florath, Andreas · 3 voices · 2 citations
Computer Science · Engineering · #Computer science #Data science #Ferroelectric and Negative Capacitance Devices #Generalization #Open source #Parallel Computing and Optimization Techniques #Programming language #Python (programming language) #Software #Source code #Topic Modeling #cs.AI #cs.HC #cs.PF #cs.SE
- Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
2024/03/19 by Florath, Andreas · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)