Scholar

Nick Feng

Google Scholar ID: akMFTxYAAAAJ

University of Toronto

Software EngineeringVerification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

99

H-index

6

i10-index

5

Publications

16

Co-authors

0

Contact

No contact links provided.

Publications

4 items

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

2026

Cited

0

A Neurosymbolic Approach to Natural Language Formalization and Verification

2025

Cited

0

Solving Set Constraints with Comprehensions and Bounded Quantifiers

2025

Cited

0

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)