• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    Communications of the ACM

    Communications of the ACM

    JournalISSN 0001-0782eISSN 1557-7317中科院 计算机科学 3区

    年发文量

    研究主题

    论文(19692)

    排序
    1NewAn Ethics Ecosystem for AI
    John Basl,Jeff Behrends

    This article diagnoses ethical failures associated with AI as resulting from the lack of a robust ethics ecosystem. Drawing on the domain of health and healthcare, we identify the components of a functioning ecosystem and explain how an ecosystemic approach helps to manage the scale of the ethical challenges in the domain of AI relative to more typical alternatives. The immense scale of AI and its application domains demands moving beyond piecemeal ethics interventions toward a coordinated ethics ecosystem.

    2026
    引用
    AI阅读
    加入学术空间
    2NewSynergizing LLMs and Formal Methods for Neural-Symbolic Reasoning
    Jin-Song Dong,Yufan Cai,Zhe Hou,Jing Sun,Hongshu Wang,Yedi Zhang,Xinyue Zuo

    Large language models (LLMs) have demonstrated remarkable capabilities in natural language understanding, generation, and reasoning, but their outputs remain probabilistic and error-prone. Formal methods (FM), by contrast, provide mathematically rigorous reasoning, but suffer from limited accessibility. This article explores a neural-symbolic paradigm that unifies these complementary strengths and presents case studies that illustrate how LLMs can lower the entry barrier to formal methods while the latter provide reliability, interpretability, and guarantees absent in purely neural AI models. We argue that synergizing LLMs with formal methods is a promising direction for building AI systems that are not only powerful but also trustworthy by construction.

    2026
    引用
    AI阅读
    加入学术空间
    3NewAI Abundance or Luddite Revolution?
    Peter J. Denning,Ted G. Lewis, Erol Gelenbe

    Universal basic income is not a solution to AI-induced unemployment and a sovereign wealth fund is incapable of funding it.

    2026
    引用
    AI阅读
    加入学术空间
    4NewThe Techlash is Back
    Moshe Y. Vardi
    2026
    引用
    AI阅读
    加入学术空间
    5NewCan VIBE Drive Development? Threats and Opportunities
    Mayukh Mukhopadhyay

    Sustainable adoption of AI-generated code requires embedding discipline and accountability into workflows to ensure resilience, scalability, and long-term software reliability.

    2026
    引用
    AI阅读
    加入学术空间
    立即登录,查看全部 19692 篇论文

    高被引作者

    作者引用发文
    Robert C. Bolles751672
    Geoffrey E. Hinton480204
    Ilya Sutskever467121
    Alex Krizhevsky467121
    Martin A Fischler406191
    Jeannette M. Wing3838416
    Zdzisław Pawlak350972
    Martin a Fischler345481
    Joseph Sifakis340733
    Edmund M. Clarke340733

    高产作者

    作者引用发文
    Peter J. Denning15777246
    Vinton Gray Cerf1559149
    Moshe Y. Vardi1457135
    Pamela Samuelson2130129
    George V. Neville-Neil166118
    Samuel Greengard175698
    Diane Crawford12595
    Peter Neumann139991
    Neil Savage63685
    Mark Guzdial193183

    相关期刊

    计算机科学
    ACM Computing Surveys
    Computer Science Review
    IEEE Transactions on Knowledge and Data Engineering
    Conference on Neural Information Processing Systems
    Advances in neural information processing systems
    AAAI Conference on Artificial Intelligence
    Lecture Notes in Computer Science
    Communications in computer and information science
    IEEE International Joint Conference on Neural Network