about
Stories from January 15, 2026 (UTC)
Go back a day, month, or year. Go forward a day.
1. How Prompt Injections Gradually Evolved into a Multi-Step Malware (arxiv.org)
4 points by 50kIters 262 days ago | hide | past | pdf | discuss
2. A benchmark for LLM vericoding: formally verified program synthesis (arxiv.org)
2 points by cpeterso 262 days ago | hide | past | pdf | discuss
3. Can LLMs Express Their Uncertainty? Not Really (arxiv.org)
2 points by apwheele 262 days ago | hide | past | pdf | discuss