Chi Jin

Associate Professor, ECE; Goedel-Prover PI — Princeton

Google Scholar

Affiliations

  • ●
    Princeton — Associate Professor, ECE; Goedel-Prover PI

Related Outputs

2025-02-11 Goedel-Prover model