Closed sbhaktha closed 4 years ago
The theory evaluation tool we had only supported inputs in the legacy RuleTaker jsonl format. These changes extend support for the current theory logical form format as well which would be more useful to external users.
The theory evaluation tool we had only supported inputs in the legacy RuleTaker jsonl format. These changes extend support for the current theory logical form format as well which would be more useful to external users.