Hongyu Guo

activity

20072025

collaborators

4 papers

math.LO2025

First-Order Axiom Systems $E_{d}$ and $E_{d a}$ Extending Tarski's $E_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry

Hongyu Guo

Tarski's first-order axiom system $E_{2}$ for Euclidean geometry is notable for its completeness and decidability. However, the Pythagorean theorem -- either in its moder…

cs.LG2025

LacMaterial: Large Language Models as Analogical Chemists for Materials Discovery

Hongyu Guo

Analogical reasoning, the transfer of relational structures across contexts (e.g., planet is to sun as electron is to nucleus), is fundamental to scientific discovery. Yet human in…

math.OC2024

Self-Calibrated Transit Service Monitoring Using Automated Collected Data

Hongyu Guo

This paper proposes a self-calibrated transit service monitoring framework that aims to obtain the performance of a transit system using automated collected data. We first introduc…

cond-mat.soft2007

Slow, non-diffusive dynamics in concentrated nanoemulsions

H. Guo, J. N. Wilking, D. Liang +3

Using multispeckle x-ray photon correlation spectroscopy, we have measured the slow, wave-vector dependent dynamics of concentrated, disordered nanoemulsions composed of silicone o…

First-Order Axiom Systems Ed​ and Eda​ Extending Tarski's E2​ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry

LacMaterial: Large Language Models as Analogical Chemists for Materials Discovery

Self-Calibrated Transit Service Monitoring Using Automated Collected Data

Slow, non-diffusive dynamics in concentrated nanoemulsions

First-Order Axiom Systems $E_{d}$ and $E_{d a}$ Extending Tarski's $E_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry