Vectorization of Verilog Designs and its Effects on Verification and Synthesis(arxiv.org)

26 points by matt_d 7 months ago | 6 comments

The Implications of Linguistic Illegibility for LLM Security(arxiv.org)

65 points by tomjakubowski 1 month ago | 26 comments

Translating natural language to first-order logic for logical fallacy detection(arxiv.org)

242 points by ColinWright 1 year ago | 117 comments

DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data(arxiv.org)

167 points by hhs 2 years ago | 48 comments

LLMs cannot find reasoning errors, but can correct them(arxiv.org)

222 points by koie 2 years ago | 112 comments

A Contract-Grade Verifier for LLM-Generated GPU Kernels(arxiv.org)

30 points by Jimmc414 2 months ago | 0 comments

Coding is not solved(blog.alexewerlof.com)

458 points by firstSpeaker 28 days ago | 459 comments

Alex Ewerlöf's opinion essay arguing that AI and LLM coding tools have not solved software coding, drawing on his experience building AI systems.

AI tools are spotting errors in research papers(nature.com)

555 points by kgwgk 1 year ago | 200 comments

Nature news article on a growing movement using AI and large language models to detect errors in research papers, sparked by a flawed black plastic utensils study.

AI is just unauthorised plagiarism at a bigger scale(axelk.ee)

665 points by speckx 5 months ago | 542 comments

A personal blog post arguing that AI companies train on authors' work without consent or compensation, amounting to plagiarism at scale.

LLMs are making formal software verification feasible at a much larger scale(anthropic.com)

429 points by johnbender 3 days ago | 265 comments

Anthropic research post describing how Claude produced formal proofs of crash-freedom for RISC-V binaries of 123 OSS-Fuzz open-source libraries, finding bugs along the way.

The problem is not AI code, but not knowing about system architecture or intent(ssp.sh)

317 points by zazuke 28 days ago | 204 comments

A short note in a personal knowledge base arguing that the real problem with AI-generated code is that teams no longer understand their system architecture or the intent behind design decisions.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.