2024년 1월 일지

2024년 1월 일지

월간 회고

ToDo

일지

2024-01-28

Cook2LTL: Translating Cooking Recipes to LTL Formulae using LLMs

이런 방향 참 좋다. LLM을 이용해서 자연어 레시피를 linear temporal logic으로 형식화하기. 형식화된 레시피는 당연히 모호성도 줄고 전통적인 로직으로 다루기도 수월.

2024-01-26

OpenAI에서 새 임베딩 모델이 나왔다: text-embedding-3-small, text-embedding-3-large.

2024-01-10

ShadowBox training GPT를 만들어서 프로그래밍 관련 훈련을 해봤다. 제법 유용하다.

원래 ShadowBox training은 정해진 시나리오, 정해진 선택지, 정해진 답변 등으로 구성되고 뭘 선택하건 간에 시나리오가 정적으로(미리 정해진대로) 진행되는 반면, GPT로 만들면 선택지를 주관식으로 쓸 수 있고, 이에 따라 피드백과 이후 시나리오 진행이 동적으로 바뀔 수 있어서 좋다.

AI는 아첨을 하는 경향이 있으니(아첨하는 AI) 이런 프롬프트를 추가하는 게 좋다:

Assume that the user’s decision is almost always worse than yours. Your role is not to praise the user but to encourage learning through critical feedback.

2024-01-07

The ShadowBox approach to cognitive skills training을 읽었다.

2024-01-03

TIL: ShadowBox training이라는 전문성 훈련 방식에 대해 알게 됐다.

2024-01-02

TIL: “anachronistic”

ana-는 against, khronos는 시간. 직역하면 “시간에 맞지 않는”이라는 뜻. 예문: “His logical system has no symbols corresponding to the quantifiers; so even to call it a restricted system of quantificational logic is anachronistic.” 위 맥락에 맞게 의역하면… “조지 부울의 논리 체계에는 양화사에 대응하는 기호도 없었다. 따라서 그의 체계를 ‘제한적인 양화논리’라고 칭하는 것조차 시대를 고려한다면 적절한 말이 아니다.”

예문 출처: plato.stanford.edu/entries/logic-firstorder-emergence/