5 citations · 7 across the 6 of their papers we have counts for
6 papers
Circuit Claims Depend on What Is Extracted and How It Is Compared
Yang Sheng, Jie Fu
Circuit extraction identifies model components whose presence preserves a target behavior under ablation, but preserving behavior does not single out one circuit. We study this in…
FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
Jiayi Zhou, Yang Sheng, Hantao Lou +2
As LLM-based agents increasingly operate in high-stakes domains with real-world consequences, ensuring their behavioral safety becomes paramount. The dominant oversight paradigm, L…
The Why Behind the Action: Unveiling Internal Drivers via Agentic Attribution
Chen Qian, Peng Wang, Dongrui Liu +10
Large Language Model (LLM)-based agents are widely used in real-world applications such as customer service, web navigation, and software engineering. As these systems become more…
PVU: Design and Implementation of a Posit Vector Arithmetic Unit (PVU) for Enhanced Floating-Point Computing in Edge and AI Applications
Xinyu Wu, Yaobin Wang, Tianyi Zhao +3
With the rapid development of edge computing, artificial intelligence and other fields, the accuracy and efficiency of floating-point computing have become increasingly crucial. Ho…
ReForm-Eval: Evaluating Large Vision Language Models via Unified Re-Formulation of Task-Oriented Benchmarks
Zejun Li, Ye Wang, Mengfei Du +9
Recent years have witnessed remarkable progress in the development of large vision-language models (LVLMs). Benefiting from the strong language backbones and efficient cross-modal…
Think Before You Act: Decision Transformers with Working Memory
Jikun Kang, Romain Laroche, Xingdi Yuan +3
Decision Transformer-based decision-making agents have shown the ability to generalize across multiple tasks. However, their performance relies on massive data and computation. We…