activity
20222026
most citedEfficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees

10 citations · 10 across the 6 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2026

Evaluating LLM Personalization via Semantic Constraint Verification

Xuran Li, Guanqin Zhang, Imran Razzak +4

Current evaluation paradigms for Large Language Model (LLM) personalization rely heavily on brittle surface-matching metrics or computationally expensive LLM-as-a-judge protocols,…