David Yin

According to our database, David Yin authored at least 3 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2025

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs.

David Yin, Jing Gao

CoRR, March, 2025

2017

Post arrays for the immobilization of vapochromic coordination polymers for chemical sensors.

David Stevens, Bonnie L. Gray, David Yin, Glenn H. Chapman, Daniel B. Leznoff

Proceedings of the 2017 IEEE SENSORS, Glasgow, United Kingdom, October 29, 2017

2011

On the design of a modern broadband physical layer for teleoperations links.

Sungill Kim, Mark Johnson, On Wa Yeung, David Yin

Proceedings of the MILCOM 2011, 2011