Author

Sin-Hao Chen

h-index 3 View on Semantic Scholar

We have 1 of 25 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Open access Jul 2026

The Symbiosis of Formal Methods and Artificial Intelligence

This paper demonstrates an AI-assisted search process to aid in literature surveys within a fast-moving research area, and assesses the usefulness and validity of these results.

Jonathan P. Bowen, Sin-Hao Chen · Applied Sciences · 0 citations