A Report on the First International Workshop on Program Equivalence (PEQ 2022).

Soumyadip Bandyopadhyay

Published in: ISEC (2022)

Keyphrases

computer programs
learning algorithm
image segmentation
test cases
machine learning
multi agent
artificial neural networks
program execution