3 citations · 6 across the 6 of their papers we have counts for
3 papers · 1 filter
Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification
Shuangjie Yao, Nikolaus Holzer, Mark Paul Santolucito +3
Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers. It's a guarantee especially valuable for code generated by la…
GIF: Locally Sound Geometric Information Flow Control for LLMs
Adam Storek, Nikolaus Holzer, Zhuo Zhang +1
Large language models increasingly mediate interactions between sensitive data, untrusted inputs, and privileged actions in agentic systems, creating security and privacy risks. Th…
TempoBench: Reasoning Execution Without Causal Attribution Is Just Simulation
Nikolaus Holzer, William Fishell, Baishakhi Ray +1
Current training paradigms, optimized for long-horizon reasoning trace execution, have made Large Language Models (LLMs) excel at pattern matching and forward simulation of reasoni…