Nikolaus Holzer

According to our database, Nikolaus Holzer authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance.

Nikolaus Holzer, William Fishell, Baishakhi Ray, Mark Santolucito

CoRR, October, 2025

Revisiting Ensemble Methods for Stock Trading and Crypto Trading Tasks at ACM ICAIF FinRL Contest 2023-2024.

Nikolaus Holzer, Keyi Wang, Kairong Xiao, Xiao-Yang Liu Yanglet

CoRR, January, 2025

2024

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis.

William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito

CoRR, 2024

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control.

William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito

CoRR, 2024