activity
20232026
most citedTowards Formal Verification of LLM-Generated Code from Natural Language Prompts

2 citations · 3 across the 5 of their papers we have counts for

collaborators

5 papers

cs.AI2026

CLEAR: Continuous Latent Adapter Routing for Utility-Preserving LLM Safety Alignment

Chengxiao Wang, Enyi Jiang, Xiaojing Liao +1

Improving the safety of large language models (LLMs) often comes at the expense of utility, as globally applied safety tuning may affect model responses to both harmful and benign…

cs.AI2025

How Catastrophic is Your LLM? Certifying Risk in Conversation

Chengxiao Wang, Isha Chaudhary, Qian Hu +3

Large Language Models (LLMs) can produce catastrophic responses in conversational settings that pose serious risks to public safety and security. Existing evaluations often fail to…

cs.PL2025★ 2 cited

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts

Aaron Councilman, David Jiahao Fu, Aryan Gupta +4

In the past few years LLMs have emerged as a tool that can aid programmers by taking natural language descriptions and generating code based on it. However, the reliability of LLM…

cs.CV2024

LATTE: Improving Latex Recognition for Tables and Formulae with Iterative Refinement

Nan Jiang, Shanchao Liang, Chengxiao Wang +2

Portable Document Format (PDF) files are dominantly used for storing and disseminating scientific research, legal documents, and tax information. LaTeX is a popular application for…

cs.SE2023★ 1 cited

Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning

Nan Jiang, Chengxiao Wang, Kevin Liu +4

Binary code analysis is the foundation of crucial tasks in the security domain; thus building effective binary analysis techniques is more important than ever. Large language model…