Nikolaus Holzer

Nikolaus Holzer

Researcher in Code Generation, RL, Formal and AI Reasoning. Interested in intelligent agent behavior, software engineering, formal reasoning.

Publications

This list is automatically generated from my Google Scholar profile.
  1. Holzer, N., Wang, K., Xiao, K., & Yanglet, X.-Y. L. ( 2025 ). Revisiting ensemble methods for stock trading and crypto trading tasks at ACM ICAIF FinRL Contest 2023-2024 . ArXiv Preprint ArXiv:2501.10709 .
  2. Murphy, W., Holzer, N., Qiao, F., Cui, L., Rothkopf, R., Koenig, N., & Santolucito, M. ( 2024 ). Combining llm code generation with formal specifications and reactive program synthesis . ArXiv Preprint ArXiv:2410.19736 .