Hongyu Guo

collaborators

2 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…

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

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