Jillian Eddy

Hi! I'm Jillian, a 5th year graduate student at UC Davis. I work with Jesús De Loera on problems in combinatorial geometry using machine-assisted methods.

I'm from Colorado, where I did my undergraduate studies at Colorado State University (Go Rams!)

github

Contact: jeddy [at] ucdavis [dot] edu

In Hamburg with Anouk Brose :-)

Papers
Stem-Symmetry, Comb Products, and their Relation to Amoeba Graphs

E., Ryan Pesak, Daniel Qin, and Denae Ventura

arXiv

Discrete Curvatures and Convex Polytopes

Jesús A. De Loera, E., Sawyer Jack Robertson, and José Alejandro Samper

To appear in SIAM Journal on Discrete Mathematics

FPSAC 2026 poster acception

arXiv

Inequality Ranking and Inference System (IRIS): Giving Mathematical Conjectures Numerical Value

Randy Davila, Jesús A. De Loera, E., Ethan Fang, Junwei Lu, and Zini Yang

ICML 2025 AI4MATH Workshop

Connectivity of Markoff mod-p graphs and comaximal divisors

E., Elena Fuchs, Matthew Litman, Daniel Martin, and Nico Tripeny

Proceedings of the London Mathematical Society, (2024).

arXiv

Projects
Summer 2026 I collaborated with Iván Martínez Comas, Arya Narnapatti, and Eric Wang on a formalization project in LEAN. We formalized the graph-theoretic notion of k-vertex connectivity, and formalized Balinski's Theorem.

GitHub Repository

Summer 2025 I co-authored a pip-installable package for automated conjecturing with Randy Davila. txgraffiti is available here:

GitHub Repository

Documentation

Page updated

Google Sites

Report abuse

PapersStem-Symmetry, Comb Products, and their Relation to Amoeba Graphs

Discrete Curvatures and Convex Polytopes

Inequality Ranking and Inference System (IRIS): Giving Mathematical Conjectures Numerical Value

ProjectsSummer 2026 I collaborated with Iván Martínez Comas, Arya Narnapatti, and Eric Wang on a formalization project in LEAN. We formalized the graph-theoretic notion of k-vertex connectivity, and formalized Balinski's Theorem.

Summer 2025 I co-authored a pip-installable package for automated conjecturing with Randy Davila. txgraffiti is available here:

Papers
Stem-Symmetry, Comb Products, and their Relation to Amoeba Graphs

Projects
Summer 2026 I collaborated with Iván Martínez Comas, Arya Narnapatti, and Eric Wang on a formalization project in LEAN. We formalized the graph-theoretic notion of k-vertex connectivity, and formalized Balinski's Theorem.