Epistemic Transfer in AI-Assisted Verification: A Framework and Evaluation Protocol
Researchers have proposed a framework for evaluating the impact of AI-assisted verification tools on users' ability to make judgments independently. T...
Researchers have proposed a framework for evaluating the impact of AI-assisted verification tools on users' ability to make judgments independently. T...
Researchers have developed EgoCITE, a system for indexing and retrieving information from egocentric memory. This type of memory involves transforming...
Researchers have developed BrainWAM, a framework that combines semantic reasoning and predictive world modeling for autonomous driving. It uses two sp...
Researchers have developed a method to modify a learned world model's behavior by making targeted changes to its hidden state. In a controlled environ...
Researchers have proposed a new framework called RUPA (Relational Uncertainty Propagation for Agents) to improve uncertainty quantification in large l...
Researchers have developed a neurosymbolic agent that can perform household tasks by combining visual exploration and symbolic planning. The agent use...
Researchers have developed a new attack method called Environment State-Text Injection (ESTI) that targets large language model-driven embodied agents...
Researchers have created a new benchmark called LongNovel to detect hallucinations in long-context novel summarization. Hallucinations occur when AI s...
Researchers evaluated how well both humans and large language models can track entities in naturalistic narratives. They found that human performance ...
Researchers from Hangfeng He and colleagues propose a new framework for theorem proving in real-world projects using Lean 4. The framework balances ex...
Researchers have developed a framework for task-oriented dialogue systems that can adapt to the user's personality while completing tasks. They tested...
Researchers have developed a framework called MAVEN to evaluate whether multimedia content aligns with societal values such as peace and justice. The ...