AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
历史上最大规模的单一目的Lean形式化项目
历史上最大规模的单一目的Lean形式化项目
相关推荐
mCLM: A Modular Chemical Language Model that Generates Functional and Makeable Molecules
arXiv:2505.12565v3 Announce Type: replace Abstract: Despite their ability to understand chemical knowledge, large langua...
Reason Like a Radiologist: Chain-of-Thought and Reinforcement Learning for Verifiable Report Generation
arXiv:2504.18453v2 Announce Type: replace Abstract: Radiology report generation is critical for efficiency but current m...
美股大型科技股盘前普跌，英特尔跌超3%
36氪获悉，美股大型科技股盘前普跌，截至发稿，英特尔跌超3%，英伟达、亚马逊、谷歌、奈飞跌超2%，特斯拉、微软、Meta跌超1%，苹果跌0.54%。
Suffix-Constrained Greedy Search Algorithms for Causal Language Models
arXiv:2603.01243v1 Announce Type: new Abstract: Large language models (LLMs) are powerful tools that have found applicat...
Endowing Embodied Agents with Spatial Reasoning Capabilities for Vision-and-Language Navigation
arXiv:2504.08806v2 Announce Type: replace Abstract: Enhancing the spatial perception capabilities of mobile robots is cr...
Weakly Supervised Video Anomaly Detection with Anomaly-Connected Components and Intention Reasoning
arXiv:2603.00550v1 Announce Type: new Abstract: Weakly supervised video anomaly detection (WS-VAD) involves identifying ...