Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
2509.00961v1
cs.AI, cs.LG
2025-09-05
Авторы:
Lun Ai, Johannes Langer, Ute Schmid, Stephen Muggleton
Резюме на русском
##########################
## Контекст
##########################
В последние десяти годы системы машинного обучения стали важной частью человеческой жизни и работы. Однако их эффективность зависит от взаимодействия с пользователями, чтобы создавать новые модели и улучшать существующие. Одна из проблем заключается в том, что пользователи часто не знакомы с системами машинного обучения и не могут полностью использовать их потенциал. Это исследование опирается на концепцию Ultra Strong Machine Learning (USML), чтобы решить эту проблему. USML заключается в том, что системы не только улучшают свои результаты, но и могут обучать пользователей, используя для этого символические логические программы и их объяснения.
##########################
## Метод
##########################
В этой работе представлен метод LENS (Logic Programming Explanation via Neural Summarisation), который использует нейро-символический подход для автоматического создания логических программ и их объяснения в натуральной речи. LENS использует программный синтез для генерации логических программ и крупных лингвистических моделей (LLM) для их объяснения. Это новаторское решение заменяет ручное создание шаблонов объяснений автоматическим генерированием. Метод был протестирован с помощью нескольких LLM-судей и человеческой валидации, чтобы проверить его эффективность в создании качественных объяснений.
##########################
## Результаты
##########################
Работа включала эксперименты с несколькими моделями LLM и человеческими участниками, чтобы оценить качество добавленных объяснений. Результаты показали, что LENS генерирует более качественные объяснения по сравнению с ручными шаблонами и LLM-промптингом. Были проведены учебные эксперименты с людьми в трех связанных областях, чтобы изучить, могут ли LENS и LLMs научить активные стратегии обучения. Однако не было выявлено значительных улучшений в показателях выполнения задач пользователей.
##########################
## Значимость
##########################
Полученные результаты могут быть применены в областях, где требуется помощь в обучении, такие как образование, производство и здравоохранение. Например, LENS может помочь учителям и тренерам создавать качественные объяснения для своих учеников. Однако ограничения показали, что сложность LLM-объяснений может перегружать простые задачи, а не облегчать их понимание.
##########################
## Выводы
##########################
Результаты исследования показали, что LENS может генерировать качественные объяснения, но для простых задач необходимо улучшить объяснения, чтобы они были более пригодными для пользователей. Будущие исследования будут сосредоточены на создании более гибких и индивидуальных подходов для обучения через USML. Исходный код LENS доступен на GitHub по ссылке: https://github.com/lun-ai/LENS.git.
Abstract
Ultra Strong Machine Learning (USML) refers to symbolic learning systems that
not only improve their own performance but can also teach their acquired
knowledge to quantifiably improve human performance. In this work, we present
LENS (Logic Programming Explanation via Neural Summarisation), a neuro-symbolic
method that combines symbolic program synthesis with large language models
(LLMs) to automate the explanation of machine-learned logic programs in natural
language. LENS addresses a key limitation of prior USML approaches by replacing
hand-crafted explanation templates with scalable automated generation. Through
systematic evaluation using multiple LLM judges and human validation, we
demonstrate that LENS generates superior explanations compared to direct LLM
prompting and hand-crafted templates. To investigate whether LENS can teach
transferable active learning strategies, we carried out a human learning
experiment across three related domains. Our results show no significant human
performance improvements, suggesting that comprehensive LLM responses may
overwhelm users for simpler problems rather than providing learning support.
Our work provides a solid foundation for building effective USML systems to
support human learning. The source code is available on:
https://github.com/lun-ai/LENS.git.
Ссылки и действия
Дополнительные ресурсы: