Concepedia

Anqi Li

AL

4

Publications

123

Citations

4

H-Index

2018

Active since

Affiliations

Georgia Institute of Technology(Current)

Anqi Li is an author at Georgia Institute of Technology specializing in engineering, verification, and formal methods.

Top concepts

EngineeringAutomationData ScienceVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringLanguageRobotics

Publications per year

2018–2023

4

Publications

4

Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates

Anqi Li, Li Wang, Pietro Pierpaoli et al. · 2018 · 76 citations

Engineering, Information Security, Verification +21

SuperCLUE: A Comprehensive Chinese Large Language Model Benchmark

Liang Xu, Anqi Li, Lei Zhu et al. · arXiv (Cornell University) · 2023 · 22 citations · Full text

Artificial Intelligence, Llm Fine-tuning, Engineering +16

Automated generation of consistent models with structural and attribute constraints

Oszkár Semeráth, Aren A. Babikian, Anqi Li et al. · 2020 · 14 citations

Software Tool Validation, Engineering, Verification +28

Latent Jailbreak: A Benchmark for Evaluating Text Safety and Output Robustness of Large Language Models

Huachuan Qiu, Shuai Zhang, Anqi Li et al. · arXiv (Cornell University) · 2023 · 11 citations · Full text

Rows per page

1–4 of 4