All news

3 articles

Min score

newsHacker News·23 Oct 20263.7
LLMs are making formal software verification feasible at a much larger scale
Anthropic researchers report LLMs now make formal software verification feasible at much larger scale.
llm-for-code formal-verification
paperarXiv (systems, data, ML)·22 Oct 20263.3
CAMGen: A Core Change-Aware Multi-View Framework for Commit Message Generation
Change-aware multi-view commit message generation.
llm-for-code
paperACM Digital Library·21 Oct 20263.1
Rethinking LLM-aided RTL Code Optimization via Timing Logic Metamorphosis
LLM-aided RTL timing optimization via logic metamorphosis.
llm-for-code chip-design