Sign In

LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks

Created by
  • Haebom
Category
Empty

μ €μž

Yucheng Zeng, Weipeng Lu, Linyun Liu, Shupeng Li, Zitian Qu, Chenghao Zhu, Shaofei Li, Zhengdong Tan, Mengyue Liu, Haotian Zhao, Zhe Zhou, Jianmin Wu

πŸ’‘ κ°œμš”

λ³Έ 논문은 LLM 기반 자율 μ—μ΄μ „νŠΈμ˜ λ³΅μž‘ν•œ ν™˜κ²½μ—μ„œμ˜ μ •ν™•ν•œ μƒνƒœ μ „ν™˜ λͺ©ν‘œ 달성을 μœ„ν•œ ν›ˆλ ¨ 데이터 λΆ€μ‘± 문제λ₯Ό ν•΄κ²°ν•˜κ³ μž ν•©λ‹ˆλ‹€. 이λ₯Ό μœ„ν•΄ 'LOGIGEN'μ΄λΌλŠ” 논리 기반 데이터 ν•©μ„± ν”„λ ˆμž„μ›Œν¬λ₯Ό μ œμ•ˆν•˜λ©°, 이λ₯Ό 톡해 검증 κ°€λŠ₯ν•œ ν›ˆλ ¨ 데이터λ₯Ό μƒμ„±ν•˜κ³  ν›ˆλ ¨ ν”„λ‘œν† μ½œμ„ μ„€κ³„ν–ˆμŠ΅λ‹ˆλ‹€. 결과적으둜 μ œμ•ˆλœ 방법둠은 κΈ°μ‘΄ λͺ¨λΈ λŒ€λΉ„ 획기적인 μ„±λŠ₯ ν–₯상을 λ³΄μ—¬μ£Όμ—ˆμŠ΅λ‹ˆλ‹€.

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

β€’
논리 기반의 μ—„κ²©ν•œ μ œμ•½ 쑰건을 μ μš©ν•˜μ—¬ μ‹€μ œ ν™˜κ²½μ— μ ν•©ν•œ 검증 κ°€λŠ₯ν•œ ν›ˆλ ¨ 데이터λ₯Ό 효과적으둜 생성할 수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
검증 κ°€λŠ₯ν•œ ꢀ적에 λŒ€ν•œ 지도 ν•™μŠ΅κ³Ό μƒνƒœ 기반 κ°•ν™” ν•™μŠ΅μ„ κ²°ν•©ν•œ ν›ˆλ ¨ 방식이 μ—μ΄μ „νŠΈμ˜ μž₯κΈ° λͺ©ν‘œ 달성 λŠ₯λ ₯을 크게 ν–₯μƒμ‹œν‚΅λ‹ˆλ‹€.
β€’
μ œμ•ˆλœ ν”„λ ˆμž„μ›Œν¬κ°€ μƒμ„±ν•˜λŠ” λ°μ΄ν„°μ…‹μ˜ 규λͺ¨μ™€ λ³΅μž‘μ„±μ€ 8개 도메인에 걸쳐 20,000개의 λ³΅μž‘ν•œ νƒœμŠ€ν¬λ₯Ό ν¬ν•¨ν•˜μ§€λ§Œ, μ‹€μ œ ν™˜κ²½μ˜ λ¬΄ν•œν•œ 닀양성을 λͺ¨λ‘ ν¬κ΄„ν•˜κΈ°μ—λŠ” μ—¬μ „νžˆ ν•œκ³„κ°€ μžˆμ„ 수 있으며, 더 κ΄‘λ²”μœ„ν•œ 도메인 및 λ³΅μž‘λ„μ— λŒ€ν•œ ν™•μž₯성이 μš”κ΅¬λ©λ‹ˆλ‹€.
πŸ‘