Search for a command to run...
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Outstanding Paper·EMNLP 2024
Conversations are deleted 14 days after they start.
What can I help with?
Find resources, learn the platform, or manage your workspaces