AI Agents

[P] Implemented ACT-R cognitive decay and hyperdimensional computing for AI agent memory (open source)

Built a memory server for AI agents (MCP protocol) and implemented two cognitive science techniques in v7.5 I wanted to share. ACT-R Cogn...

"They operate like slot machines": AI agents are scrambling power users' brains

Considering NeurIPS submission [D]

Wondering if it worth submitting paper I’m working on to NeurIPS. I have formal mathematical proof for convergence of a novel agentic sys...

[2509.25411] Boolean Satisfiability via Imitation Learning

The paper introduces ImitSAT, a novel branching policy for CDCL solvers in Boolean satisfiability, leveraging imitation learning to enhan...

[2509.21896] GenesisGeo: Technical Report

GenesisGeo presents a novel approach to geometric reasoning by introducing a large-scale dataset and a multi-task training paradigm that ...

[2509.19800] Analysis of approximate linear programming solution to Markov decision problem with log barrier function

This paper explores a novel approach to solving Markov decision problems (MDPs) using approximate linear programming with a log barrier f...

[2509.03830] Decoding Tourist Perception in Historic Urban Quarters with Multimodal Social Media Data: An AI-Based Framework and Evidence from Shanghai

This study presents an AI-based framework to analyze tourist perceptions in historic urban quarters of Shanghai, utilizing multimodal soc...

[2506.22740] Explanations are a Means to an End: Decision Theoretic Explanation Evaluation

The paper presents a decision-theoretic framework for evaluating explanations in AI, emphasizing their role as information signals that i...

[2506.08604] Physics vs Distributions: Pareto Optimal Flow Matching with Physics Constraints

This article presents a novel method, Physics-Based Flow Matching (PBFM), which integrates physical constraints into generative modeling,...

[2506.08119] SOP-Bench: Complex Industrial SOPs for Evaluating LLM Agents

SOP-Bench introduces a benchmark for evaluating LLM agents on complex industrial SOPs, featuring over 2,000 tasks across various domains,...

[2505.22147] Lifted Forward Planning in Relational Factored Markov Decision Processes with Concurrent Actions

The paper presents Foreplan, a novel relational forward planner for Markov Decision Processes (MDPs) that efficiently handles concurrent ...

[2505.24183] QiMeng-CodeV-R1: Reasoning-Enhanced Verilog Generation

The paper introduces QiMeng-CodeV-R1, a framework for reasoning-enhanced Verilog generation using reinforcement learning with verifiable ...

[2504.18880] Reshaping MOFs text mining with a dynamic multi-agents framework of large language model

The paper presents MOFh6, a large language model system that enhances the extraction of synthesis conditions for metal-organic frameworks...

[2504.05806] Meta-Continual Learning of Neural Fields

The paper introduces Meta-Continual Learning of Neural Fields (MCL-NF), a novel approach that enhances the efficiency and quality of neur...

[2503.15937] Advancing Mobile GUI Agents: A Verifier-Driven Approach to Practical Deployment

The paper introduces V-Droid, a mobile GUI task automation agent that utilizes a verifier-driven approach, enhancing decision-making and ...

[2502.13069] Ambig-SWE: Interactive Agents to Overcome Underspecificity in Software Engineering

The paper introduces Ambig-SWE, a framework for evaluating AI agents' ability to handle underspecified instructions in software engineeri...

[2502.08047] WorldGUI: An Interactive Benchmark for Desktop GUI Automation from Any Starting Point

WorldGUI introduces a benchmark for evaluating desktop GUI automation agents under varied initial conditions, addressing the challenges o...

[2505.11139] Covariance Density Neural Networks

The paper introduces Covariance Density Neural Networks (CDNN), enhancing graph neural networks by using the sample covariance matrix as ...

[2411.17411] Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond

This paper explores advancements in uncertain combinatorics through the integration of graphization, hyperization, and uncertainization, ...

[2407.01875] Spatio-Temporal Graphical Counterfactuals: An Overview

This article provides an overview of spatio-temporal graphical counterfactuals, discussing various models and proposing a unified framewo...

[2505.08783] CodePDE: An Inference Framework for LLM-driven PDE Solver Generation

The article presents CodePDE, an innovative framework leveraging large language models (LLMs) for generating solvers for partial differen...

[2404.09877] Synergising Human-like Responses and Machine Intelligence for Planning in Disaster Response

This paper presents a novel cognitive architecture that combines human-like responses with machine intelligence for effective disaster re...

[2402.08646] Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data

This paper presents a unified probabilistic framework for symbolic reasoning, drawing inspiration from neuroscience, and aims to enhance ...