LLM vs. ATP
- LLM-N answers the natural language question in natural language
- ShZZaM converts the natural language question to logic
- ATP answers the logic question in logic
- LLM-NL converts the ATP answer to natural language
- LLM-S compares the two answers
