Sign In

The Luna Bound Propagator for Formal Analysis of Neural Networks

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Henry LeCates, Haoze Wu

πŸ’‘ κ°œμš”

λ³Έ μ—°κ΅¬λŠ” 신경망 검증을 μœ„ν•œ μ‹€μš©μ μœΌλ‘œ 성곡적인 좔상 해석 기법인 νŒŒλΌλ―Έν„°ν™”λœ CROWN 뢄석(alpha-CROWN)의 Python κ΅¬ν˜„μ˜ ν•œκ³„λ₯Ό κ·Ήλ³΅ν•˜κΈ° μœ„ν•΄ C++둜 κ΅¬ν˜„λœ μƒˆλ‘œμš΄ 좔상 해석 기반 λ°”μš΄λ“œ μ „νŒŒκΈ°μΈ Lunaλ₯Ό μ œμ•ˆν•©λ‹ˆλ‹€. LunaλŠ” 일반적인 계산 κ·Έλž˜ν”„μ— λŒ€ν•΄ Interval Bound Propagation, DeepPoly/CROWN 뢄석, 그리고 alpha-CROWN 뢄석을 μ§€μ›ν•©λ‹ˆλ‹€. 곡개된 벀치마크 μ‹€ν—˜μ—μ„œ LunaλŠ” 기쑴의 졜고 μˆ˜μ€€ alpha-CROWN κ΅¬ν˜„λ³΄λ‹€ λ°”μš΄λ“œ μ •ν™•μ„±κ³Ό 계산 νš¨μœ¨μ„± λͺ¨λ‘μ—μ„œ λ›°μ–΄λ‚œ μ„±λŠ₯을 λ³΄μ—¬μ£Όμ—ˆμŠ΅λ‹ˆλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
AI/ML 연ꡬ 및 ν”„λ‘œλ•μ…˜ ν™˜κ²½μ—μ„œ 신경망 검증 λ„κ΅¬μ™€μ˜ 톡합 및 ν™•μž₯성을 크게 ν–₯μƒμ‹œν‚¬ 수 μžˆλŠ” κ³ μ„±λŠ₯ C++ 기반 ν”„λ ˆμž„μ›Œν¬λ₯Ό μ œκ³΅ν•©λ‹ˆλ‹€.
β€’
Interval Bound Propagation, DeepPoly/CROWN, alpha-CROWN λ“± λ‹€μ–‘ν•œ 뢄석 기법을 ν†΅ν•©ν•˜μ—¬ 신경망 κ²€μ¦μ˜ μ •ν™•μ„±κ³Ό νš¨μœ¨μ„±μ„ λ™μ‹œμ— κ°œμ„ ν•  수 μžˆλŠ” κ°€λŠ₯성을 μ œμ‹œν•©λ‹ˆλ‹€.
β€’
ν˜„μž¬ μ§€μ›ν•˜λŠ” 벀치마크 μ™Έμ˜ 더 λ³΅μž‘ν•˜κ±°λ‚˜ νŠΉμˆ˜ν•œ 신경망 ꡬ쑰 및 연산에 λŒ€ν•œ 좔가적인 검증 및 μ΅œμ ν™”κ°€ ν•„μš”ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
πŸ‘
Made with Slashpage