Equivalence, and Property Internalization and Preservation for Equational Programs.

Published in: WRLA (2024)

Keyphrases

theorem proving
desirable properties
inference rules
individual learning
automatic programming
algebraic properties
theorem prover
data sets
machine learning
computational model
computer programs
fixpoint