Holzer, Nikolaus

1. Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
   2024/09/18 by Murphy, William, Holzer, Nikolaus, Qiao, Feitong +4 · 5 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
2. Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
   2024/06/11 by Murphy, William, Holzer, Nikolaus, Koenig, Nathan +4 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
3. FinRL Contests: Benchmarking Data-driven Financial Reinforcement Learning Agents
   2025/04/03 by Keyi Wang, Wang, Keyi, Nikolaus Holzer +13 · 2 citations
   Business, Management and Accounting · #Computational Engineering #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Finance #Private Equity and Venture Capital #and Science (cs.CE)