Calvin Xu
cmxu
AI & ML interests
Trustworthy ML
Recent Activity
upvoted a paper 21 days ago
Agentic Code Reasoning upvoted a paper about 2 months ago
Enforcing Temporal Constraints for LLM Agents upvoted a paper 3 months ago
BEAVER: An Efficient Deterministic LLM VerifierOrganizations
None yet