Eric Ren

According to our database, Eric Ren authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

The Hidden Number Problem.

Sage Binder, Eric Ren, Katherine Kosaian

Arch. Formal Proofs, 2025

Formalizing the Hidden Number Problem in Isabelle/HOL.

Sage Binder, Eric Ren, Katherine Kosaian

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

GEF: A GNN-Based Evaluation Framework for FPGA Routing Architecture.

Yuanqi Wang, Yunfei Dai, Jiangnan Li, Kaixiang Zhu, Huizhen Kuang, Hao Zhou, Eric Ren, Xifan Tang, Weijun Qin, Tao Li, Lingli Wang

Proceedings of the 35th International Conference on Field-Programmable Logic and Applications, 2025

2024

Babai's Nearest Plane Algorithm.

Eric Ren, Sage Binder, Katherine Kosaian

Arch. Formal Proofs, 2024

2023

Improved upper bounds on longest-path and maximal-subdivision transversals.

Henry A. Kierstead, Eric Ren

Discret. Math., September, 2023