본문으로 건너뛰기

© 2026 Molayo

arXiv논문2026. 05. 13. 03:36

DeepLog: 모듈형 신경기호 AI를 위한 소프트웨어 프레임워크

요약

DeepLog는 논리(logic)와 딥러닝을 PyTorch 환경 내에서 통합하는 범용 신경기호 AI 프레임워크입니다. 이 프레임워크는 다양한 신경기호 시스템들을 고수준 사양으로 받아 최적화된 산술 회로로 자동 컴파일합니다. 이를 통해 논리를 조합 가능한 모듈로 다루어, 머신러닝 실무자들의 접근성을 높이고 연구자들이 새로운 통합 전략을 쉽게 프로토타이핑할 수 있는 강력한 기반을 제공합니다.

핵심 포인트

  • DeepLog는 PyTorch 내에서 딥러닝과 논리(logic)를 결합하는 신경기호 AI 프레임워크입니다.
  • 다양한 신경기호 시스템들을 범용 백엔드에서 에뮬레이션할 수 있습니다.
  • 고수준의 신경기호 언어 사양을 최적화된 산술 회로(arithmetic circuits)로 자동 컴파일합니다.
  • 논리를 모듈식으로 다루어 ML 실무자들의 진입 장벽을 낮추고, 연구 개발에 활용할 수 있는 기반을 제공합니다.

DeepLog는 논리(logic)와 딥러닝을 표준 PyTorch 워크플로우 내에서 통합하는 운영 가능한 신경기호(neurosymbolic) 프레임워크입니다. 기존의 신경기호 시스템들은 특정 패러다임과 의미론에 초점을 맞추는 반면, DeepLog는 신경기호 알파벳 수프 속의 많은 시스템들을 에뮬레이션할 수 있는 범용 백엔드 역할을 합니다. 다양한 신경기호 언어들을 고수준 사양(high-level specifications)으로 취급함으로써, DeepLog 소프트웨어는 이들을 최적화된 산술 회로(arithmetic circuits)로 자동 컴파일합니다. 이러한 설계는 논리를 조합 가능한 모듈로 다루어 머신러닝 실무자들의 진입 장벽을 낮추는 동시에, 신경기호 개발자들에게 새로운 통합 전략을 프로토타이핑할 수 있는 공유되고 고성능의 기반을 제공합니다. 코드는 여기에서 이용 가능합니다: https://github.com/ML-KULeuven/deeplog

AI 자동 생성 콘텐츠

본 콘텐츠는 arXiv cs.LG의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.

원문 바로가기
1

댓글

0