Georgia Institute of Technology（佐治亚理工学院）

ParamMem: Augmenting Language Agents with Parametric Reflective Memory

ParamMem: 通过参数化反思记忆增强语言代理

Tianjun Yao, Yongqiang Chen, Yujia Zheng, Pan Li, Zhiqiang Shen, Kun Zhang

机构 * Mohamed bin Zayed University of Artificial Intelligence（穆罕默德·本·扎耶德人工智能大学） ； Carnegie Mellon University（卡内基梅隆大学） ； Georgia Institute of Technology（佐治亚理工学院） 纠错

AI总结 ParamMem通过参数化记忆模块提升语言代理的反思多样性，实现更高效的推理和跨任务迁移能力。

Comments 20 pages

Robot Excavation and Manipulation of Geometrically Cohesive Granular Media

机器人挖掘与几何连结颗粒介质的操控

Laura Treers, Daniel Soto, Joonha Hwang, Michael A. D. Goodisman, Daniel I. Goldman

机构 * Department of Mechanical Engineering（机械工程系） ； University of Vermont（佛蒙特大学） ； School of Physics（物理系） ； Georgia Institute of Technology（佐治亚理工学院） ； George W. Woodruff School of Mechanical Engineering（乔治·W·伍德鲁夫机械工程学院） ； School of Biological Sciences（生物科学系） 纠错

AI总结 本文提出了一种机器人平台，用于操控几何连结颗粒介质，通过环境信号自主协调挖掘、运输和沉积，揭示了材料性质对机器人性能的影响。

Approximate SMT Counting Beyond Discrete Domains

超越离散域的近似SMT计数

Arijit Shaw, Kuldeep S. Meel

机构 * Chennai Mathematical Institute, India IAI, TCG CREST, Kolkata, India（钦奈数学研究所，印度 IAI，TCG CREST，科利尔，印度） ； Georgia Institute of Technology, USA University of Toronto, Canada（佐治亚理工学院，美国 蒙特利尔大学，加拿大） 纠错

AI总结 pact是一种用于混合公式的SMT模型计数器，通过哈希技术实现高效解计数，显著提升了性能。

Comments A preliminary version of this paper appears at the proceedings of Design Automation Conference (DAC) 2025