Max Tan

According to our database, Max Tan authored at least 2 papers between 2019 and 2025.

Collaborative distances:

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

2025

A benchmark for vericoding: formally verified program synthesis.

Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark

CoRR, September, 2025

2019

Miniature Underwater Animal Tags and Smart Sensors for Civil Engineering Applications.

Yahong Rosa Zheng, Xiyuan Zhu, Max Tan

Proceedings of the WUWNET'19: International Conference on Underwater Networks & Systems, 2019