4
Faithful Autoformalization of Natural Language Assertions
The authors introduced Monty, a framework designed to improve the accuracy of autoformalization by converting natural language specifications into executable software assertions.
4
Unleashing Multimodal Large Language Models for Training-free HOI Detection in the Wild
Researchers have proposed a training-free approach for detecting human-object interactions in the wild by leveraging the capabilities of multimodal large language models.
4
The Hitchhiker's Guide to Monoculture
An analysis of Kaggle contest submissions examines whether the use of AI coding assistants is leading to increased homogenization of software development outputs.
4
Anatomically Faithful but Temporally Blind: Auditing Attribution for Left-Ventricular Ejection-Fraction Estimation from Echocardiography
A study evaluating deep learning models for echocardiography analysis reveals that current attribution methods often fail to verify temporal faithfulness in medical imaging predictions.
4
A Causal Model of Theory of Mind in Conflict for Artificial Intelligence
This paper proposes a causal framework to determine when artificial intelligence systems should engage in theory of mind processes during conflict scenarios.
4
ScanFocus: A Coarse-to-Fine Framework for Spatio-Temporal Video Grounding
The proposed ScanFocus framework addresses computational efficiency and precision in spatio-temporal video grounding through a coarse-to-fine processing approach.
4
The SIGReg Objective as Variational Free Energy: A Theoretical Active-Inference Account of JEPA World Models
The paper provides a theoretical framework linking Joint-Embedding Predictive Architectures to active inference principles through variational free energy.
4
Learning to Learn-at-Test-Time: Language Agents with Learnable Adaptation Policies
A new method for test-time learning introduces learnable adaptation policies to help language agents improve their performance through iterative interaction.
4
Discrete Diffusion Models: A Unified Framework from Tokenization to Generation
A new framework for discrete diffusion models explores how tokenization and vocabulary structure influence generative performance.
4
Traffic-Aware Randomized Smoothing for LLM-Based Network Intrusion Detection
A new defense mechanism called Traffic-Aware Randomized Smoothing has been proposed to improve the robustness of LLM-based network intrusion detection systems against traffic manipulation.
4
From Language to Navigation Goals: A Vision-Language Approach for Semantic Navigation of Mobile Robots Using RGB-D Perception
A new framework enables mobile robots to interpret natural language commands for autonomous navigation using RGB-D perception.
4
ExTernD: Expanded-Rank Ternary Decomposition Ternary LLM PTQ with Accuracy Approaching Any Quantization Level
The ExTernD method introduces a post-training factorization technique for large language models that utilizes expanded-rank ternary decomposition to improve quantization efficiency and accuracy.
4
Networked Intelligence: Active Shared Context Graphs for Human-AI Team Science
This paper proposes a framework for networked intelligence that uses shared context graphs to facilitate collaboration among multiple AI agents in scientific research.
4
Beyond Backbone Backpropagation: A Decoupled Strategy for Efficient Transfer Learning
A new decoupled training strategy for transfer learning aims to reduce computational and energy costs by optimizing classifier heads separately from feature extraction layers.
4
DIVE: Embedding Compression via Self-Limiting Gradient Updates
DIVE is a new dimensionality reduction technique for language model embeddings that uses self-limiting gradient updates to improve compression efficiency.
4
Federated Explainable Artificial Intelligence: Roles, Architectures, Evaluation, and Open Challenges
This review examines the integration of explainable AI techniques within federated learning architectures to improve transparency in privacy-preserving distributed model training.
4
Interaction Protocol Shapes Moral Judgment in Multi-Agent Debate
A study demonstrates that the interaction protocols used in multi-agent debates significantly influence the moral reasoning and judgment outcomes of large language models.
4
STOCKTAKE: Measuring the Gap Between Perception and Action in LLM Agents with a Fair Oracle
A new evaluation framework called STOCKTAKE aims to distinguish between perception errors and execution failures in LLM agents during long-term decision-making tasks.
4
Experience Memory Graph: One-Shot Error Correction for Agents
A new error-correction method called Experience Memory Graph aims to help LLM agents recover from failures in long-horizon tasks more efficiently than traditional reflection techniques.
4
Interventional Grounding Audits: Black-Box Premise-Dependency Tests for LLM Chain-of-Thought via Predicate Substitution
A new auditing method uses predicate substitution to test whether large language models genuinely rely on stated premises during chain-of-thought reasoning.
4
中信证券与光谷金控签署框架合作协议
CITIC Securities and Optics Valley Financial Holdings have entered a partnership to provide capital market services and investment support for emerging technology companies.
4
Infineon, LS Electric partner on DC power infrastructure for AI data centers
Infineon and LS Electric have signed a non-binding memorandum of understanding to jointly develop next-generation direct current power systems for AI data centers.
4
Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification
Researchers have developed a contract-based regression verification tool that uses large language models to infer partial contracts, ensuring sound software patch verification without requiring manual specifications.
4
SPARK: Susceptibility-Guided Profiling and Steering of Latent Reasoning States in Large Language Models
The SPARK framework profiles and steers the latent reasoning states of large language models to diagnose and correct reasoning failures before final outputs are generated.