Publications (9)
Learning from the Pandemic: the Future of Meetings in HEP and Beyond
Mark S. Neubauer, Todd Adams, Jennifer Adelman-McCarthy +36
The COVID-19 pandemic has by-and-large prevented in-person meetings since March 2020. While the increasing deployment of effective vaccines around the world is a very positive deve…
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
Aman Goel, Karem A. Sakallah
Proving that an unbounded distributed protocol satisfies a given safety property amounts to finding a quantified inductive invariant that implies the property for all possible inst…
TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice
Aman Goel, Xian Carrie Wu, Zhe Wang +2
Jailbreaking large-language models (LLMs) involves testing their robustness against adversarial prompts and evaluating their ability to withstand prompt attacks that could elicit u…
A Neurosymbolic Approach to Natural Language Formalization and Verification
Chenyang An, Sam Bayless, Stefano Buliani +27
The paper presents ARc, a system that combines large language models with automated reasoning to formally translate natural‑language policies and verify their logical correctness,…
Towards an Automatic Proof of Lamport's Paxos
Aman Goel, Karem A. Sakallah
Lamport's celebrated Paxos consensus protocol is generally viewed as a complex hard-to-understand algorithm. Notwithstanding its complexity, in this paper, we take a step towards a…
Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding
Aman Goel, Qianhui Men, Edmond S. L. Ho
Synthesizing multi-character interactions is a challenging task due to the complex and varied interactions between the characters. In particular, precise spatiotemporal alignment b…
Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency
Aman Goel, Daniel Schwartz, Yanjun Qi
Large language models (LLMs) have demonstrated impressive capabilities across diverse tasks, but they remain susceptible to hallucinations--generating content that appears plausibl…
Second Analysis Ecosystem Workshop Report
Mohamed Aly, Jackson Burzynski, Bryan Cardwell +66
The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the…
GlocalNet: Class-aware Long-term Human Motion Synthesis
Neeraj Battan, Yudhik Agrawal, Veeravalli Saisooryarao +2
Synthesis of long-term human motion skeleton sequences is essential to aid human-centric video generation with potential applications in Augmented Reality, 3D character animations,…