Nick Feng

1. Normative Requirements Operationalization with Large Language Models
   2024/04/18 by Nick Feng, Feng, Nick, Lina Marsso +21 · 6 citations
   Business, Management and Accounting · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
   2026/01/27 by Vikash Singh, Darion Cassel, Nathaniel Weir +2 · 1 voice
   Computer Science · #cs.CL #cs.AI
3. Early Verification of Legal Compliance via Bounded Satisfiability Checking
   2022/09/08 by Nick Feng, Lina Marsso, Feng, Nick +5 · 1 citation
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Methods in Verification #Semantic Web and Ontologies #Software Engineering (cs.SE)