Design Guidelines for Domain Specific Languages (2014) (arxiv.org)

Screenshot of arxiv.org: Design Guidelines for Domain Specific Languages (2014)

First screen, captured 3 years ago.

Looks similar

Screenshot of arxiv.org: Coding Guidelines for Prolog (2011)

Coding Guidelines for Prolog (2011)(arxiv.org)

109 points by tosh 3 years ago | 13 comments

Screenshot of arxiv.org: Large Language Models for Compiler Optimization

Large Language Models for Compiler Optimization (arxiv.org)

199 points by og_kalu 3 years ago | 95 comments

Screenshot of arxiv.org: ChipNeMo: Domain-Adapted LLMs for Chip Design

ChipNeMo: Domain-Adapted LLMs for Chip Design (arxiv.org)

47 points by RafelMri 3 years ago | 7 comments

Screenshot of arxiv.org: Some critical issues with the SWE-bench dataset

Some critical issues with the SWE-bench dataset (arxiv.org)

331 points by joshwa 1 year ago | 113 comments

arXiv paper introducing SWE-Bench+, an empirical analysis revealing data quality issues in the SWE-bench coding benchmark for LLMs, such as solution leakage and weak tests.

swe-bench llm-benchmarks code-generation gpt-4

Screenshot of arxiv.org: Language models as compilers: Simulating pseudocode execution

Language models as compilers: Simulating pseudocode execution (arxiv.org)

159 points by milliondreams 2 years ago | 49 comments

Screenshot of arxiv.org: Abstract Interpretation as a Programming Language

Abstract Interpretation as a Programming Language (arxiv.org)

48 points by Hirrolot 2 years ago | 3 comments

Looks similar

Coding Guidelines for Prolog (2011)(arxiv.org)

Large Language Models for Compiler Optimization(arxiv.org)

ChipNeMo: Domain-Adapted LLMs for Chip Design(arxiv.org)

Some critical issues with the SWE-bench dataset(arxiv.org)

Language models as compilers: Simulating pseudocode execution(arxiv.org)

Abstract Interpretation as a Programming Language(arxiv.org)

Large Language Models for Compiler Optimization (arxiv.org)

ChipNeMo: Domain-Adapted LLMs for Chip Design (arxiv.org)

Some critical issues with the SWE-bench dataset (arxiv.org)

Language models as compilers: Simulating pseudocode execution (arxiv.org)

Abstract Interpretation as a Programming Language (arxiv.org)