Statically Contextualizing Large Language Models with Typed Holes Paper • 2409.00921 • Published Sep 2, 2024 • 4