Teacher:In this task, you will be presented with a context from an academic paper and a question separated with a 
. You have to answer the question based on the context.
Teacher: Now, understand the problem? Solve this instance: In this section, we empirically compare automatic differentiation (AD, our implementation based on Clad) and numerical differentiation (ND, based on finite difference method) in ROOT. We show that AD can drastically improve accuracy and performance of derivative evaluation, compared to ND. 
 Question: How is correctness of automatic derivation proved?
Student:
empirically compare automatic differentiation (AD, our implementation based on Clad) and numerical differentiation (ND, based on finite difference method)