Overfitting in synthesis: theory and practice

DOI10.1007/978-3-030-25540-4_17arXiv1905.07457OpenAlexW2959263575MaRDI QIDQ6194583

Rahul Sharma, Todd D. Millstein, Saswat Padhi, Aditya V. Nori

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.07457

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

Constraint-based relational verification ⋮ Decision tree learning in CEGIS-based termination analysis ⋮ Toward neural-network-guided program synthesis and verification ⋮ Syntax-guided synthesis for lemma generation in hardware model checking

This page was built for publication: Overfitting in synthesis: theory and practice