Синтетический датасет для обучения модели формализации текста на естественном языке в математическую логику. Покрывает 10 разделов: от пропозициональной логики до многошаговых дедуктивных цепочек.
Формализовать текст на естественном русском языке в логические формулы с правильной нотацией (∧, ∨, ¬, →, ↔, ∀, ∃, ⊂, ∪, ∩ и др.)
Определять логическую структуру аргументов — посылки, заключения, правила… See the full description on the dataset page:
https://huggingface.co/datasets/s85io/math-logic-ru.
