Trends · 研究趋势
数据来自 Hugging Face 论文的 AI 提取关键词,按月统计研究方向的增长与热度。
Jiaao Chen, Xiaoman Pan, Dian Yu +4 authors
A novel prompting strategy called skills-in-context (SKiC) enhances compositional generalization in large language models by enabling them to solve unseen complex problems through the synergistic activation and combination of internal skills.
George E. Dahl, Frank Schneider, Zachary Nado +22 authors
A new benchmark, AlgoPerf: Training Algorithms, addresses challenges in evaluating training algorithms by providing a competitive, time-to-result benchmark across workloads and optimizers.
Kaiyu Yang, Aidan M. Swope, Alex Gu +6 authors
LeanDojo provides open-source tools, data, and benchmarks to facilitate research on machine learning methods for theorem proving, introducing ReProver, an LLM-based prover that uses retrieval for premise selection.
北京市昌平区探索星信息技术及软件开发工作室
京ICP备2026059466号