Sign In

Neurosymbolic Learning for Inference-Time Argumentation

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

μ €μž

Gabriel Freedman, Adam Dejl, Adam Gould, Mansi, Lihu Chen, Jianqi Jiang, Francesca Toni

πŸ’‘ κ°œμš”

λ³Έ 논문은 정보가 λΆˆμ™„μ „ν•˜κ±°λ‚˜ 상좩될 λ•Œ 이진 λΆ„λ₯˜ λŒ€μ‹  λΆˆν™•μ‹€ν•œ 닡변을 μ œκ³΅ν•˜λŠ” 것이 더 μ μ ˆν•  수 μžˆλ‹€λŠ” 점에 μ£Όλͺ©ν•˜μ—¬, μ£Όμž₯ 검증 문제λ₯Ό ν•΄κ²°ν•˜κΈ° μœ„ν•΄ μΆ”λ‘  μ‹œμ  논증(Inference-Time Argumentation, ITA)μ΄λΌλŠ” μƒˆλ‘œμš΄ μ‹ κ²½-기호 ν•™μŠ΅ ν”„λ ˆμž„μ›Œν¬λ₯Ό μ œμ•ˆν•©λ‹ˆλ‹€. ITAλŠ” 곡식 논증 μ˜λ―Έλ‘ μ„ ν™œμš©ν•˜μ—¬ κ±°λŒ€ μ–Έμ–΄ λͺ¨λΈ(LLM)의 ν•™μŠ΅μ„ μ•ˆλ‚΄ν•˜κ³ , μƒμ„±λœ λ…Όμ¦μ˜ κΈ°λ³Έ 점수λ₯Ό κ³„μ‚°ν•˜λ©°, 이λ₯Ό λ°”νƒ•μœΌλ‘œ 3진법(μ°Έ/κ±°μ§“/λΆˆν™•μ‹€) μ˜ˆμΈ‘μ„ μˆ˜ν–‰ν•©λ‹ˆλ‹€. 결과적으둜, ITAλŠ” 논증 생성 및 μ μˆ˜ν™”λ₯Ό ν•™μŠ΅ 성과에 μ΅œμ ν™”ν•˜λ©°, μΆ”λ‘  μ‹œμ μ—λŠ” μƒμ„±λœ 논증과 μ μˆ˜μ— μ˜ν•΄ κ²°μ •λ˜λŠ” μ‹ λ’°ν•  수 μžˆλŠ” μ˜ˆμΈ‘μ„ μ œκ³΅ν•©λ‹ˆλ‹€.

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

β€’
μ‹ λ’°ν•  수 μžˆλŠ” μ„€λͺ… κ°€λŠ₯μ„±: ITAλŠ” μΆ”λ‘  κ³Όμ •μ—μ„œ μƒμ„±λœ λͺ…μ‹œμ μ΄κ³  검증 κ°€λŠ₯ν•œ 논증 ꡬ쑰에 κΈ°λ°˜ν•˜μ—¬ μ˜ˆμΈ‘μ„ μˆ˜ν–‰ν•˜λ―€λ‘œ, κΈ°μ‘΄ λͺ¨λΈμ˜ ν›„ν–‰ 사후 μ„€λͺ… 방식보닀 훨씬 μ‹ λ’°ν•  수 μžˆλŠ” μ„€λͺ… κ°€λŠ₯성을 μ œκ³΅ν•©λ‹ˆλ‹€.
β€’
λΆˆν™•μ‹€μ„± 처리 λŠ₯λ ₯ ν–₯상: λ‹¨μˆœνžˆ μ°Έ/κ±°μ§“μœΌλ‘œ νŒλ‹¨ν•˜λŠ” 것을 λ„˜μ–΄, 정보 λΆ€μ‘±μ΄λ‚˜ 상좩 μ‹œ 'λΆˆν™•μ‹€'μ΄λΌλŠ” 선택지λ₯Ό μ œκ³΅ν•¨μœΌλ‘œμ¨ μ‹€μ œ μ£Όμž₯ 검증 ν™˜κ²½μ—μ„œ λ°œμƒν•˜λŠ” λ³΅μž‘μ„±μ„ 더 잘 λ°˜μ˜ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
논증 생성 및 μ μˆ˜ν™”μ˜ ν•™μŠ΅ μ΅œμ ν™”: 논증 생성 및 μ μˆ˜ν™” 과정이 μ΅œμ’… 논증 예츑의 ν’ˆμ§ˆμ— μ§μ ‘μ μœΌλ‘œ 영ν–₯을 받도둝 ν•™μŠ΅μ„ μ΅œμ ν™”ν•˜μ—¬, 보닀 효과적인 μ£Όμž₯ 검증 λͺ¨λΈμ„ ꡬ좕할 수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
μ„±λŠ₯: μ œμ•ˆλœ ITA ν”„λ ˆμž„μ›Œν¬λŠ” 두 κ°€μ§€ 3진법 μ£Όμž₯ 검증 λ°μ΄ν„°μ…‹μ—μ„œ κΈ°μ‘΄ 논증 기반 λͺ¨λΈμ„ λŠ₯κ°€ν•˜κ³ , 비논증 기반 직접 예츑 λͺ¨λΈκ³Όλ„ 경쟁λ ₯ μžˆλŠ” μ„±λŠ₯을 λ³΄μ—¬μ€λ‹ˆλ‹€.
β€’
계산 λ³΅μž‘μ„± 및 ν™•μž₯μ„±: 신경망과 기호적 논증 ν”„λ ˆμž„μ›Œν¬μ˜ 결합은 λͺ¨λΈμ˜ λ³΅μž‘μ„±μ„ μ¦κ°€μ‹œν‚¬ 수 있으며, λŒ€κ·œλͺ¨ λ°μ΄ν„°μ…‹μ΄λ‚˜ 맀우 λ³΅μž‘ν•œ 논증 ꡬ쑰λ₯Ό λ‹€λ£° λ•Œμ˜ 계산 νš¨μœ¨μ„± 및 ν™•μž₯성에 λŒ€ν•œ 좔가적인 연ꡬ가 ν•„μš”ν•©λ‹ˆλ‹€.
πŸ‘