Theoria: Rewrite-Acceptability Verification over Informal Reasoning States
์์ฑ์
- Haebom
์นดํ
๊ณ ๋ฆฌ
Empty
์ ์
Michael Saldivar, Ben Slivinski
๐ก ๊ฐ์
๋ณธ ๋
ผ๋ฌธ์ AI ์์คํ
์ ๋ต๋ณ ์ ๋ขฐ์ฑ ํ๋ณด๋ฅผ ์ํ Theoria๋ผ๋ ์๋ก์ด ๊ฒ์ฆ ์ํคํ
์ฒ๋ฅผ ์ ์ํฉ๋๋ค. Theoria๋ ๋น๊ณต์์ ์ถ๋ก ์ํ๋ฅผ ๋ช
์์ ์ธ ๊ทผ๊ฑฐ(์ธ์ฉ, ๊ณ์ฐ, ์ฌ์ค)๋ฅผ ๊ธฐ๋ฐ์ผ๋ก ํ ํ์
ํ๋ ์ํ ์ ์ด ์ํ์ค๋ก ์ฌ์์ฑํ์ฌ, ๊ฐ ๋จ๊ณ์ ๋
๋ฆฝ์ ์ธ ๊ฐ์ฌ ๊ฐ๋ฅ์ฑ์ ๋ณด์ฅํฉ๋๋ค. ์ด๋ฅผ ํตํด ์๋๋ ์ ์ ๊ฐ ๋๋ฌ๋์ง ์๊ณ ๋ ๋ณ๊ฒฝ๋์ง ์๋๋ก ํจ์ผ๋ก์จ, ํ์ ์ฆ๋ช
๋ณด์กฐ๊ธฐ์ ํ์ค์ฑ๊ณผ LLM ํ๋ณ๊ธฐ์ ๋์ ์ ์ฉ ๋ฒ์๋ฅผ ๊ฒฐํฉํฉ๋๋ค.
๐ ์์ฌ์ ๋ฐ ํ๊ณ
โข
Theoria๋ AI ๋ต๋ณ์ ํฌ๋ช
์ฑ๊ณผ ๊ฐ์ฌ ๊ฐ๋ฅ์ฑ์ ํฌ๊ฒ ํฅ์์์ผ ์ ๋ขฐ๋๋ฅผ ๋์
๋๋ค.
โข
๊ธฐ์กด์ ํ๋ฆฌ์คํฑ LLM ์ฌํ ๋ฐฉ์๊ณผ ์ํธ ๋ณด์์ ์ธ ๊ด๊ณ์ ์์ผ๋ฉฐ, ํนํ ์๋๋ ์ ์ ๋ ํ์ ์ธ์ฉ๊ณผ ๊ฐ์ ๋ฌธ์ ์ ๊ฐ์ ์ ๋ณด์
๋๋ค.
โข
๋ณต์กํ ๋ฌธ์ ๋ ์๋ก์ด ํํ์ ์ค๋ฅ์ ๋ํ ์ ์ฉ ๊ฐ๋ฅ์ฑ๊ณผ ํจ์จ์ฑ์ ์ถ๊ฐ์ ์ธ ์ฐ๊ตฌ๊ฐ ํ์ํฉ๋๋ค.
