TY  - RPRT
TI  - TypePilot: Leveraging the Scala Type System for Secure LLM-generated Code
AU  - Alexander Sternfeld
AU  - Andrei Kucharavy
AU  - Ljiljana Dolamic
PY  - 2025
UR  - https://arxiv.org/abs/2510.11151
ID  - 2510.11151
ER  -