Mitigating Legibility Tax with Decoupled Prover-Verifier Games
์์ฑ์
- Haebom
์นดํ
๊ณ ๋ฆฌ
Empty
์ ์
Yegon Kim, Juho Lee
๐ก ๊ฐ์
๋๊ท๋ชจ ์ธ์ด ๋ชจ๋ธ(LLM)์ ์ถ๋ ฅ์ ์ฑ๋ฅ์ด ๋ฎ์ ์์คํ
์์๋ ์ฝ๊ฒ ๊ฒ์ฆ ๊ฐ๋ฅํด์ผ ํ์ง๋ง, ๊ธฐ์กด์ ๊ฒ์ฆ ๊ฐ๋ฅํ ์ถ๋ ฅ ์์ฑ ๋ฐฉ์์ ์ ํ๋ ํ๋ฝ(legibility tax) ๋ฌธ์ ๋ฅผ ์ผ๊ธฐํฉ๋๋ค. ๋ณธ ๋
ผ๋ฌธ์ ์ ํ๋์ ๊ฒ์ฆ ๊ฐ๋ฅ์ฑ ์กฐ๊ฑด์ ๋ถ๋ฆฌํ๋ ์๋ก์ด ๋ฐฉ๋ฒ๋ก ์ ์ ์ํฉ๋๋ค. ํต์ฌ ์์ด๋์ด๋ ์ ํ๋๋ฅผ ์ต๋ํํ๋๋ก ํ๋ จ๋ ํด๊ฒฐ์ฌ(solver) ๋ชจ๋ธ์ ํด๋ต์ ๊ฒ์ฆ ๊ฐ๋ฅํ ํํ๋ก ๋ณํํ๋ "๋ฒ์ญ๊ธฐ(translator)" ๋ชจ๋ธ์ ํ๋ จ์ํค๋ ๊ฒ์
๋๋ค.
๐ ์์ฌ์ ๋ฐ ํ๊ณ
โข
LLM ์ถ๋ ฅ์ ๊ฒ์ฆ ๊ฐ๋ฅ์ฑ์ ๋์ด๋ฉด์๋ ์ ํ๋๋ฅผ ์ ์งํ๋ ์๋ก์ด ์ ๊ทผ ๋ฐฉ์์ ์ ์ํฉ๋๋ค.
โข
์ ํ๋๋ฅผ ์ํ ํด๊ฒฐ์ฌ์ ๊ฒ์ฆ ๊ฐ๋ฅ์ฑ์ ์ํ ๋ฒ์ญ๊ธฐ๋ฅผ ๋ถ๋ฆฌ ํ๋ จํจ์ผ๋ก์จ ๊ธฐ์กด ๋ฐฉ์์ 'legibility tax' ๋ฌธ์ ๋ฅผ ์ํํฉ๋๋ค.
โข
์ ์๋ ๋ถ๋ฆฌํ ํด๊ฒฐ์ฌ-๊ฒ์ฆ์ ๊ฒ์(DPVG)์ ์ถฉ์คํ๊ณ ๊ฒ์ฆ ๊ฐ๋ฅํ ๋ฒ์ญ๊ธฐ์ ๊ท ํ์ ์ ์ฐพ๋๋ก ์ค๊ณ๋์์ต๋๋ค.
โข
๋ฒ์ญ๊ธฐ ๋ชจ๋ธ์ ํ๋ จ์ด ์ถ๊ฐ์ ์ธ ์ค๋ฒํค๋๋ฅผ ๋ฐ์์ํฌ ์ ์์ผ๋ฉฐ, ๋ฒ์ญ ๊ณผ์ ์์ ์ ๋ณด ์์ค์ด๋ ์๋ก์ด ์ค๋ฅ๊ฐ ๋ฐ์ํ ๊ฐ๋ฅ์ฑ์ ๋ํ ์ถ๊ฐ์ ์ธ ์ฐ๊ตฌ๊ฐ ํ์ํฉ๋๋ค.
