TY  - RPRT
TI  - Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions
AU  - Zhanna Kaufman
AU  - Yuriy Brun
AU  - Adithya Murali
AU  - Madeline Endres
PY  - 2026
UR  - https://arxiv.org/abs/2607.08885
ID  - 2607.08885
ER  -