pith. sign in

Kai Tu

Identifiers

No identifiers captured yet.

Papers (1)

  1. LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software cs.CR · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors