中文
相关论文

相关论文: Using Aristotle API for AI-Assisted Theorem Provin…

200 篇论文

Large Language Model (LLM) sycophancy is a growing concern. The current literature has largely examined sycophancy in contexts with clear right and wrong answers, like coding. However, AI is increasingly being used for emotional support and…

The growing adoption of large language models in legal practice brings both significant promise and serious risk. Legal professionals stand to benefit from AI that can reason over contracts, draft documents, and analyze sources at scale,…

人工智能 · 计算机科学 2026-05-15 Olivia Peiyu Wang , Leilani H. Gilpin

Large Language Models (LLMs) have demonstrated impressive real-world utility, exemplifying artificial useful intelligence (AUI). However, their ability to reason adaptively and robustly -- the hallmarks of artificial general intelligence…

机器学习 · 计算机科学 2025-08-27 Seungwook Han , Jyothish Pari , Samuel J. Gershman , Pulkit Agrawal

This paper presents a novel approach to scientific discovery using an artificial intelligence (AI) environment known as ChatGPT, developed by OpenAI. This is the first paper entirely generated with outputs from ChatGPT. We demonstrate how…

其他计算机科学 · 计算机科学 2023-09-18 Gerardo Adesso

We propose Embodied AI as the next fundamental step in the pursuit of Artificial General Intelligence, juxtaposing it against current AI advancements, particularly Large Language Models. We traverse the evolution of the embodiment concept…

人工智能 · 计算机科学 2024-09-16 Giuseppe Paolo , Jonas Gonzalez-Billandon , Balázs Kégl

Recent advancements in large language models (LLMs) have enabled a wide range of natural language processing (NLP) tasks to be performed through simple prompt-based interactions. Consequently, several approaches have been proposed to…

计算与语言 · 计算机科学 2025-08-14 Artem Chernodub , Aman Saini , Yejin Huh , Vivek Kulkarni , Vipul Raheja

AI is increasingly being used to assist fraud and cybercrime. However, it is unclear the extent to which current large language models can provide useful information for complex criminal activity. Working with law enforcement and policy…

This paper studies autonomous generative AI agents in multi-echelon supply chains using the MIT Beer Game. We identify four inference-time levers that shape performance: model selection, policies and guardrails, centralized data sharing,…

人工智能 · 计算机科学 2026-05-27 Carol Xuan Long , David Simchi-Levi , Feng Zhu , Huangyuan Su , Andre P. Calmon , Flavio P. Calmon

Student responses in STEM assessments are often handwritten and combine symbolic expressions, calculations, and diagrams, creating substantial variation in format and interpretation. Despite their importance for evaluating students'…

人工智能 · 计算机科学 2026-04-15 Xiuxiu Tang , G. Alex Ambrose , Ying Cheng

Human-AI complementarity is the claim that a human supported by an AI system can outperform either alone in a decision-making process. Since its introduction in the humanAI interaction literature, it has gained traction by generalizing the…

人工智能 · 计算机科学 2026-04-23 Andrea Ferrario , Alessandro Facchini , Juan M. Durán

Translating business problems into well-specified machine learning solutions is a prerequisite for successful AI systems, yet this upstream translation is still one of the least supported steps in existing methodologies. We conduct a…

软件工程 · 计算机科学 2026-04-22 Abir Trabelsi , Imen Benzarti , Hafedh Mili , Darine Ameyed

The proliferation of large language models (LLMs) in educational settings has paradoxically undermined the cognitive processes they purport to support. Students increasingly outsource critical thinking to AI assistants that generate…

人工智能 · 计算机科学 2026-05-08 Ran Bi , Shiyao Wei , Yuanyiyi Zhou

Recent years have witnessed a rapid growth of recommender systems, providing suggestions in numerous applications with potentially high social impact, such as health or justice. Meanwhile, in Europe, the upcoming AI Act mentions…

人工智能 · 计算机科学 2024-07-18 Simon Delarue , Astrid Bertrand , Tiphaine Viard

This study evaluates the GPT-4 Large Language Model's abductive reasoning in complex fields like medical diagnostics, criminology, and cosmology. Using an interactive interview format, the AI assistant demonstrated reliability in generating…

人工智能 · 计算机科学 2023-07-21 Remo Pareschi

In the rapidly evolving field of artificial intelligence (AI), the application of large language models (LLMs) in agriculture, particularly in pest management, remains nascent. We aimed to prove the feasibility by evaluating the content of…

计算与语言 · 计算机科学 2024-03-19 Shanglong Yang , Zhipeng Yuan , Shunbao Li , Ruoling Peng , Kang Liu , Po Yang

The increasing reliance on large language models (LLMs) in academic writing has led to a rise in plagiarism. Existing AI-generated text classifiers have limited accuracy and often produce false positives. We propose a novel approach using…

计算与语言 · 计算机科学 2023-06-16 Mujahid Ali Quidwai , Chunhui Li , Parijat Dube

The rapid proliferation of generative artificial intelligence (AI) tools - especially large language models (LLMs) such as ChatGPT - has ushered in a transformative era in higher education. Universities in developed regions are increasingly…

人机交互 · 计算机科学 2025-06-30 Russell Beale

The incorporation of Artificial Intelligence (AI) models into various optimization systems is on the rise. Yet, addressing complex urban and environmental management problems normally requires in-depth domain science and informatics…

人工智能 · 计算机科学 2024-09-10 Jose Tupayachi , Haowen Xu , Olufemi A. Omitaomu , Mustafa Can Camur , Aliza Sharmin , Xueping Li

The current literature on AI-advised decision making -- involving explainable AI systems advising human decision makers -- presents a series of inconclusive and confounding results. To synthesize these findings, we propose a simple theory…

人工智能 · 计算机科学 2024-02-05 Raymond Fok , Daniel S. Weld

This paper introduces a new metamodel-based knowledge representation that significantly improves autonomous learning and adaptation. While interest in hybrid machine learning / symbolic AI systems leveraging, for example, reasoning and…

‹ 上一页 1 8 9 10 下一页 ›