Sign In

Property-Guided LLM Program Synthesis for Planning

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

μ €μž

Augusto B. Correa, Andre G. Pereira, Jendrik Seipp

πŸ’‘ κ°œμš”

λ³Έ 논문은 λŒ€κ·œλͺ¨ μ–Έμ–΄ λͺ¨λΈ(LLM)을 μ΄μš©ν•œ ν”„λ‘œκ·Έλž¨ ν•©μ„±μ—μ„œ 기쑴의 λ‹¨μˆœ 점수 기반 평가 λ°©μ‹μ˜ λΉ„νš¨μœ¨μ„±μ„ μ§€μ ν•˜κ³ , λŒ€μ‹  ν˜•μ‹μ μœΌλ‘œ μ •μ˜λœ 속성(property) 검증을 ν†΅ν•œ μƒˆλ‘œμš΄ μ ‘κ·Ό 방식을 μ œμ•ˆν•œλ‹€. 후보 ν”„λ‘œκ·Έλž¨μ΄ 속성을 μœ„λ°˜ν•  경우, ꡬ체적인 λ°˜λ‘€(counterexample)λ₯Ό LLM에 μ œκ³΅ν•˜μ—¬ μ‹€νŒ¨ 원인을 λͺ…ν™•νžˆ ν•¨μœΌλ‘œμ¨ ν”„λ‘œκ·Έλž¨ 생성 및 평가 λΉ„μš©μ„ 획기적으둜 쀄이고 더 κ°•λ ₯ν•œ ν”„λ‘œκ·Έλž¨μ„ μœ λ„ν•œλ‹€.

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

β€’
λΉ„μš© 절감 및 μ„±λŠ₯ ν–₯상: 속성 기반 검증은 LLM의 μΆ”λ‘  및 평가 λΉ„μš©μ„ 크게 κ°μ†Œμ‹œν‚€λ©°, λͺ…ν™•ν•œ μ‹€νŒ¨ ν”Όλ“œλ°±μ„ 톡해 더 μš°μˆ˜ν•œ ν’ˆμ§ˆμ˜ ν”„λ‘œκ·Έλž¨μ„ μƒμ„±ν•˜λ„λ‘ λ•λŠ”λ‹€.
β€’
넓은 적용 κ°€λŠ₯μ„±: 속성을 λ§Œμ‘±ν•˜λŠ” ν”„λ‘œκ·Έλž¨ 합성이 κ°€λŠ₯ν•œ 문제라면, λ³Έ 방법둠은 λΉ„μš© νš¨μœ¨μ„±κ³Ό ν”„λ‘œκ·Έλž¨ ν’ˆμ§ˆ μΈ‘λ©΄μ—μ„œ 이점을 μ œκ³΅ν•œλ‹€.
β€’
속성 μ •μ˜μ˜ μ€‘μš”μ„±: λ°©λ²•λ‘ μ˜ νš¨κ³ΌλŠ” λ¬Έμ œμ— λŒ€ν•œ μ μ ˆν•˜κ³  검증 κ°€λŠ₯ν•œ 속성을 μ–Όλ§ˆλ‚˜ 잘 μ •μ˜ν•˜λŠ”μ§€μ— 크게 μ˜μ‘΄ν•˜λ©°, λͺ¨λ“  λ¬Έμ œμ— λŒ€ν•΄ μœ μš©ν•˜κ±°λ‚˜ 효율적인 속성을 μ •μ˜ν•˜κΈ° μ–΄λ €μšΈ 수 μžˆλ‹€.
πŸ‘
Made with Slashpage