Qiantan Hong

According to our database, Qiantan Hong authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

Rewrite System Showdown: Stochastic Search vs. EqSat.

Qiantan Hong, Rupanshu Soi, Yihong Zhang, Alex Aiken

CoRR, May, 2026

2024

Recursive Program Synthesis using Paramorphisms.

Qiantan Hong, Alex Aiken

Proc. ACM Program. Lang., 2024