議題
距離 ChatGPT 橫空出世已經過了一年半，這段時間來 LLM 的語言能力是公認的令人驚艷，但人類除了語言外，更有一項 LLM 們望塵莫及的能力：邏輯思考。如果我們將 LLM 丟到一個規則簡單，但邏輯思考複雜度遠勝目前評測環境的遊戲中，會發生什麼事呢？本議程將透過講者在 LLM@IJCAI'23 中發表的論文看 ChatGPT 在複雜邏輯下的表現如何，不同 prompting 技術又會有什麼樣意外的效果？同時，我們也會深入實驗的程式碼，討論有哪些技術能夠大幅縮短執行一次實驗所需的時間，並且分享我們怎麼從 LLM 無固定結構的自然語言輸出中，提取出他最終下的棋步。希望透過本議程讓大家更了解 LLM 的性質及評測他的 code 有哪些好用的寫法！
講者
Ak
郭慕天（Ak）是對 AI 研究和網頁開發有熱忱的高三學生。目前專精在研究大型語言模型（LLM），並寫過兩篇學術論文，一篇被 IJCAI’23 Symposium on LLMs 錄取，另一篇則在 AAAI’24 Student Abstract Program 刊登。Ak 過往也接觸過網頁開發，寫過 Speakup（https://github.com/burnedinthesky/Speakup），一個致力於促進理性網路交流的社群平台。很期待在 COSCUP 中與各位交流！