Microsoftが軽量なのにGPT-4oを圧倒的に上回る数学性能を発揮するAIモデル「Phi-4」をリリース

2024/12/13 5 users GPT-4o Microsoft 数学性能 リリース 性能

Microsoftが言語モデル「Phi-4」を2024年12月13日にリリースしました。Phi-4のパラメーター数は140億で主要な大規模言語モデルと比べると小規模ですが、数学性能では最上位クラスの性能を発揮します。 Introducing Phi-4: Microsoft’s Newest Small Language Model Specializing in Complex Reasoning | Microsoft Commu... 続きを読む

RAGを複雑な質問に強くする手法「CoA」について

2024/04/16 107 users coA Rag RAGシステム 生成AI 論文

本記事では、「Chain-of-Abstraction (CoA) Reasoning」についてざっくり理解します。軽めの記事です。 株式会社ナレッジセンスでは普段の業務で、生成AIやRAGシステムを活用したサービスを開発しています。 この記事は何 この記事は、最近聞くようになった「Chain-of-Abstraction (CoA) Reasoning」の論文[1]について、... 続きを読む

Agda による圏論入門

2013/08/22 68 users Agda Record level 要約 圏論入門

Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 Agda の入門の要約 Agda の入門　 Agda の集合の Level　 Agda の record 　 Agda のReasoning 　 Caategory module と圏の入門 自然変換 IdentityFu... 続きを読む

人間は一番疲れている時に一番創造的になれる!? : ライフハッカー［日本版］

2012/02/13 47 users ライフハッカー 人間 Thinking 日本版 Tweet

仕事術 , 豆知識 人間は一番疲れている時に一番創造的になれる!? 2012.02.13 23:30 コメント数：[ 0 ] Tweet なぜ、いいアイデアが浮かんでくるのは眠りに落ちる直前や、半分寝ながらシャワーを浴びている時が多いのか...？ と疑問に思ったことはありませんか？　情報誌『Thinking & Reasoning』に掲載されている研究発表によると、人は意識がもうろうとした状態の時... 続きを読む