{"type": "article", "title": "From Execution to Exploration: Bridging the Usability Gap in Formal Natural Language Inference", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/from-execution-to-exploration-bridging-the-usability-gap-in-formal-natural", "original_source": "https://aclanthology.org/2026.brigap-1.1/", "published": "2026-07-31T00:00:00+00:00", "accessed": "2026-08-07", "id": "from-execution-to-exploration-bridging-the-usability-gap-in-formal-natural"}