Симпозиум AWS Financial Services 2025 — Автоматизированные рассуждения для обеспечения корректнос...

Автоматизированные рассуждения для корректности ИИ | В рамках этой сессии мы рассмотрим, как автоматизированные рассуждения, основанные на символическом ИИ и математической логике, становятся критически важным инструментом для обеспечения корректности, надежности и безопасности систем ИИ. Опираясь на реальные реализации в AWS, мы рассмотрим, как автоматизированные рассуждения могут обеспечить математическое доказательство корректности программ и помочь устранить галлюцинации ИИ. В презентации будут рассмотрены интеграция автоматизированных рассуждений с современными подходами к ИИ, практическое применение в проверке безопасности и такие инструменты, как автоматизированные проверки рассуждений, которые помогают компаниям проверять результаты работы ИИ. Участники узнают, как эту технологию можно применять для верификации критически важных систем и обеспечения надежности ИИ в корпоративных средах.

Узнайте больше об AWS для финансовых услуг: http://go.aws/4qmWC2t

Узнайте больше о мероприятиях AWS: https://go.aws/events

Подписаться:
Больше видео о мероприятиях AWS: http://bit.ly/2O3zS75
Больше видео о мероприятиях AWS: http://bit.ly/316g9t4

ОБ AWS
Amazon Web Services (AWS) проводит мероприятия, как онлайн, так и очные, объединяя сообщество облачных вычислений для общения, совместной работы и обучения у экспертов AWS. AWS — самая комплексная и широко распространенная в мире облачная платформа, предлагающая более 200 полнофункциональных сервисов из центров обработки данных по всему миру. Миллионы клиентов, включая самые быстрорастущие стартапы, крупнейшие компании и ведущие государственные учреждения, используют AWS для снижения затрат, повышения гибкости и ускорения внедрения инноваций.

#AWSEvents