miniCodeProps: a Minimal Benchmark for Proving Code Properties.

Evan Lohn Sean Welleck

Published in: CoRR (2024)

Keyphrases

neural network
information retrieval
information systems
special case
structural properties
data sets
real world
data mining
image sequences
multi agent systems
artificial neural networks
programming language