Regular Expressions which query an Oracle (arxiv.org)

Screenshot of arxiv.org: Regular Expressions which query an Oracle

First screen, captured 1 year ago.

Looks similar

Screenshot of arxiv.org: Crux, a Precise Verifier for Rust and Other Languages

Crux, a Precise Verifier for Rust and Other Languages (arxiv.org)

86 points by belter 2 years ago | 11 comments

Screenshot of arxiv.org: Scalable MatMul-Free Language Modeling

Scalable MatMul-Free Language Modeling (arxiv.org)

177 points by lykahb 2 years ago | 27 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: Neural-Symbolic Recursive Machine for Systematic Generalization

Neural-Symbolic Recursive Machine for Systematic Generalization (arxiv.org)

63 points by beefman 3 years ago | 2 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

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

Looks similar

Crux, a Precise Verifier for Rust and Other Languages(arxiv.org)

Scalable MatMul-Free Language Modeling(arxiv.org)

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

Neural-Symbolic Recursive Machine for Systematic Generalization(arxiv.org)

Abstract Interpretation as a Programming Language(arxiv.org)

Large Language Models for Compiler Optimization(arxiv.org)