Natural Language to Logic Use Cases
Verifying LLM "Proofs"
Verifying LLM "Inferences"
Human Document Analysis
Knowledge Graph Queries
Smart Contracts
Home Help Robotics
etc. etc. etc.
