2 citations · 4 across the 3 of their papers we have counts for
5 papers
Intent-aligned Formal Specification Synthesis via Traceable Refinement
Zhe Ye, Aidan Z. H. Yang, Huangyuan Su +6
Large language models are increasingly used to generate code from natural language, but ensuring correctness remains challenging. Formal verification offers a principled way to obt…
Towards Mitigating Excessive Forgetting in LLM Unlearning via Entanglement-Guidance with Proxy Constraint
Zhihao Liu, Jian Lou, Yuke Hu +6
Large language models (LLMs) are trained on massive datasets that may include private or copyrighted content. Due to growing privacy and ownership concerns, data owners may request…
Estimating Control Barriers from Offline Data
Hongzhan Yu, Seth Farrell, Ryo Yoshimitsu +3
Learning-based methods for constructing control barrier functions (CBFs) are gaining popularity for ensuring safe robot control. A major limitation of existing methods is their rel…
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
Hongchao Zhang, Zhizhen Qin, Sicun Gao +1
Neural Control Barrier Functions (NCBFs) have shown significant promise in enforcing safety constraints on nonlinear autonomous systems. State-of-the-art exact approaches to verify…
Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems
Eric Yang Yu, Zhizhen Qin, Min Kyung Lee +1
Long-term fairness is an important factor of consideration in designing and deploying learning-based decision systems in high-stake decision-making contexts. Recent work has propos…