cs.AI（2025-04-22）
📊 共 4 篇论文 | 🔗 2 篇有代码
🎯 兴趣领域导航
🔬 支柱九：具身大模型 (Embodied Foundation Models) (4 篇)
| # | 题目 | 一句话要点 | 标签 | 🔗 | ⭐ |
|---|---|---|---|---|---|
| 1 | BELL: Benchmarking the Explainability of Large Language Models | 提出标准化基准以评估大型语言模型的可解释性 | large language model | ||
| 2 | TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving | TrustGeoGen：用于可信多模态几何问题求解的形式化验证数据引擎 | large language model multimodal | ✅ | |
| 3 | VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation | VERICODER：通过功能正确性验证增强基于LLM的RTL代码生成 | large language model | ✅ | |
| 4 | A Comprehensive Survey in LLM(-Agent) Full Stack Safety: Data, Training and Deployment | 首个LLM全栈安全综述：系统性考察数据、训练和部署阶段的安全问题 | large language model |