どのように言語モデルに論理推論を教えるのか？ ー形式論理学に基づく人工コーパスによる訓練（英語）
Can LLMs reason logically? If not, how can we teach them?
Recent large language models (LLMs) have shown to be able to skillfully solve a wide range of tasks, foreshadowing the realization of artificial intelligence (AI) as "a machine that thinks like humans”[1]. To realize such AI, two elements ...
