Li-An Yang
Identifiers
No identifiers captured yet.
Papers (1)
- Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants cs.NE · 2016 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Chao-Hong Chen 1 shared papers
- Jui-Pin Liu 1 shared papers
- Ying-ping Chen 1 shared papers