Nikolaus Holzer

Computer Science · Physical Sciences

1h-index3citations3works1.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(2), Logic, programming, and type systems(1), Advanced Database Systems and Queries(1), Manufacturing Process and Optimization(1), Software Reliability and Analysis Research(1)

Publications3 total

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
arXiv (Cornell University)·2025Open Access
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
arXiv (Cornell University)·2024· 1 citedOpen Access
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
arXiv (Cornell University)·2024· 2 citedOpen Access

Frequent Co-authors

Mark Santolucito(3), William S. Murphy(2), Nathan Koenig(2), Leyi Cui(2), Raven Rothkopf(2), Feitong Qiao(2), William Fishell(1), Baishakhi Ray(1)