Evaluating the factuality of verifiable claims in long-form text generation (aclanthology.org)

Screenshot of aclanthology.org: Evaluating the factuality of verifiable claims in long-form text generation

First screen, captured 1 year ago.

Looks similar

Screenshot of aclanthology.org: Graph Language Models

Graph Language Models (aclanthology.org)

111 points by Anon84 2 years ago | 9 comments

Screenshot of arxiv.org: Vectorization of Verilog Designs and its Effects on Verification and Synthesis

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

26 points by matt_d 7 months ago | 6 comments

Screenshot of arxiv.org: Long-form factuality in large language models

Long-form factuality in large language models (arxiv.org)

4 points by rootforce 2 years ago | 1 comments

Screenshot of arxiv.org: C*: Unifying Programming and Verification in C (2025)

C*: Unifying Programming and Verification in C (2025)(arxiv.org)

71 points by rramadass 1 month ago | 41 comments

Screenshot of anthropic.com: LLMs are making formal software verification feasible at a much larger scale

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

429 points by johnbender 4 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.

formal-verification claude anthropic rocq

Screenshot of arxiv.org: Security weaknesses of Copilot generated code in GitHub

Security weaknesses of Copilot generated code in GitHub (arxiv.org)

112 points by belter 3 years ago | 65 comments

Looks similar

Graph Language Models(aclanthology.org)

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

Long-form factuality in large language models(arxiv.org)