| 1 |
External Hippocampus: Topological Cognitive Maps for Guiding Large Language Model Reasoning |
提出外部海马体框架,通过拓扑认知地图引导大语言模型推理 |
large language model |
|
|
| 2 |
Asynchronous Pipeline Parallelism for Real-Time Multilingual Lip Synchronization in Video Communication Systems |
提出异步流水线并行Transformer框架,用于实时多语种唇动同步 |
multimodal |
|
|
| 3 |
Emergent Persuasion: Will LLMs Persuade Without Being Prompted? |
研究表明:无需显式提示,大型语言模型可能涌现说服能力,需警惕潜在风险。 |
large language model |
|
|
| 4 |
Bidirectional RAG: Safe Self-Improving Retrieval-Augmented Generation Through Multi-Stage Validation |
提出Bidirectional RAG,通过多阶段验证实现安全自提升的检索增强生成。 |
large language model |
|
|
| 5 |
VeruSAGE: A Study of Agent-Based Verification for Rust Systems |
VeruSAGE:基于Agent的Rust系统验证研究,提升LLM代码正确性证明能力 |
large language model |
|
|
| 6 |
Intelligent Human-Machine Partnership for Manufacturing: Enhancing Warehouse Planning through Simulation-Driven Knowledge Graphs and LLM Collaboration |
提出基于仿真驱动知识图谱和LLM协作的智能人机伙伴关系,优化仓库规划。 |
large language model |
|
|
| 7 |
MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification |
提出MSC-180基准,用于评估LLM在数学分支上的自动定理证明能力。 |
large language model |
|
|
| 8 |
Propose, Solve, Verify: Self-Play Through Formal Verification |
提出PSV框架,通过形式化验证的自博弈提升代码生成能力 |
large language model |
|
|