AgentSociety是一个基于LLM驱动的智能体社会模拟框架,用于大规模社会行为研究。
AgentSociety是一个由清华大学FIB实验室开发的先进框架,旨在通过LLM驱动的智能体模拟人类行为和社会互动。它利用大型语言模型(LLM)的规划、记忆和推理能力,生成逼真的行为模式,并支持基于数据集、文本和规则的环境设计。该框架在社会科学研究、城市规划和教育领域具有重要意义,能够帮助研究者更好地理解人类行为和社会动态。
Goedel-Prover 是一款开源的自动化定理证明模型,专注于数学问题的形式化证明。
Goedel-Prover 是一款专注于自动化定理证明的开源大型语言模型。它通过将自然语言数学问题翻译为形式化语言(如 Lean 4),并生成形式化证明,显著提升了数学问题的自动化证明效率。该模型在 miniF2F 基准测试中达到了 57.6% 的成功率,超越了其他开源模型。其主要优点包括高性能、开源可扩展性以及对数学问题的深度理解能力。Goedel-Prover 旨在推动自动化定理证明技术的发展,并为数学研究和教育提供强大的工具支持。
大规模城市环境中的机器人模拟交互平台。
GRUtopia是一个为各种机器人设计的交互式3D社会模拟平台,它通过模拟到现实(Sim2Real)的范式,为机器人学习提供了一个可行的路径。平台包含100k精细标注的交互场景,可以自由组合成城市规模的环境,覆盖89种不同的场景类别,为服务导向环境中通用机器人的部署提供了基础。此外,GRUtopia还包括一个由大型语言模型(LLM)驱动的NPC系统,负责社交互动、任务生成和分配,模拟了具身AI应用的社交场景。
自动整理和创作高影响力的客户推荐、客户故事和案例研究
Get Social Proof可以自动收集和整理客户的经验故事,转化为准备使用的推荐、客户故事和案例研究,帮助企业提升市场影响力。通过AI驱动的智能客户访谈和故事生成,简化了收集客户故事的过程,节省了时间,提高了客户故事的效果。适用于非企业级SaaS公司的B2B营销人员。
Famewall帮助企业收集客户见证,在网站、邮件等渠道展示,以吸引更多客户
Famewall是一个非常实惠的工具,企业可以使用它来收集客户见证,并在网站、邮件等地方展示,以吸引更多客户,无需编程。完全免费试用,不需要信用卡。主要功能有:收集客户视频/文字见证、定制收集页面,提供问题引导、生成漂亮的自定义微件、见证实时更新到微件。典型使用场景有:课程创作者、企业家、教练、自由职业者。主要标签:社交证明、客户见证、案例研究、转化增长。使用实例:教练使用Famewall收集学生见证,分享到网站吸引更多学生;企业家使用Famewall收集客户成功案例,在产品页面展示;自由职业设计师用Famewall收集客户反馈,分享到邮箱签名。
开放数学语言模型
Llemma是一个开放的数学语言模型,提供数据和训练代码。它可以用于数学相关的任务,如定理证明、数学文本生成等。Llemma具有高质量的数学训练数据,可以帮助用户进行数学研究和应用开发。Llemma的优势在于其开放性和灵活性,用户可以根据自己的需求进行定制和扩展。Llemma的定价信息请参考官方网站。
© 2025 AIbase 备案号:闽ICP备08105208号-14