DebateLabKIT/deepa2-conversations
Summary This dataset contains multi-turn conversations that gradually unfold deep logical analyses of argumentative texts. In particular, the chats contain examples of how to use Argdown syntax logically formalize arguments in FOL (latex, nltk etc.) annotate an argumentative text use Z3 theorem prover to check deductive validity use custom tools in conjunction with argument reconstructions The chats are template-based renderings of the synthetic, comprehensive argument analyses… See the full description on the dataset page: https://huggingface.co/datasets/DebateLabKIT/deepa2-conversations.
| Author / organization | DebateLabKIT |
|---|---|
| License (as declared) | odc-by |
| Downloads | 323 (as reported by Hugging Face) |
| Likes | 2 |
| Created | 4 December 2024 |
| Last updated at source | 18 August 2025 |
More from DebateLabKIT
- DebateLabKIT/syncialo-rawDataset
- DebateLabKIT/aaacDataset
- DebateLabKIT/argunauts-hirpo-preferencesDataset
- DebateLabKIT/argdown_line-by-lineDataset
- DebateLabKIT/arguments-and-debatesDataset
- DebateLabKIT/deepa2Dataset
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.