전체 전문분석자료

전문분석자료

Academic · 약 1분

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP

arXiv:2603.20405v1 Announce Type: new Abstract: We report on an experiment in which Claude Opus~4.6, equipped with a suite of Model Context Protocol (MCP) tools for …

Guillaume Baudart, Marc Lelarge, Tristan St\'erin, Jules Viennot
조회수 71회
Academic · 약 1분

AE-LLM: Adaptive Efficiency Optimization for Large Language Models

arXiv:2603.20492v1 Announce Type: new Abstract: Large Language Models (LLMs) have achieved remarkable success across diverse applications, yet their deployment remains challenging due to substantial computational …

Kaito Tanaka, Masato Ito, Yuji Nishimura, Keisuke Matsuda, Aya Nakayama
조회수 41회