pith. sign in

Xinde Yu

Identifiers

  • name variant Xinde Yu 0.60 · backfill

Papers (1)

  1. Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration cs.AI · 2025 · author #7

Mentions

  • 2503.07096 #7 · arxiv_oai · confidence 0.70 Xinde Yu

Frequent Coauthors