20th International FLAIRS Conference (FLAIRS-20)


Information supporting answer explanations are derived from proofs. One of the difficulties for humans to understand web agent proofs is that the proofs are typically described at the machine-level.