1 citations · 1 across the 1 of their papers we have counts for
5 papers
Quantum Physics using Weighted Model Counting
Dirck van den Ende, Joon Hyung Lee, Alfons Laarman +1
Weighted model counting (WMC) has proven effective at a range of tasks within computer science, physics, and beyond. However, existing approaches for using WMC in quantum physics o…
Towards Autonomous Mathematics Research
Tony Feng, Trieu H. Trinh, Garrett Bingham +25
Recent advances in foundational models have yielded reasoning systems capable of achieving a gold-medal standard at the International Mathematical Olympiad. The transition from com…
Lower bounds for multivariate independence polynomials and their generalisations
Joonkyung Lee, Jaehyeon Seo
In statistical physics, the multivariate hard-core model describes a system of particles, each of which receives its own fugacity. In graph-theoretic language, the partition functi…
Asymptotic size of the Karp-Sipser Core in Configuration Model
Arnab Chatterjee, Joon Hyung Lee, Haodong Zhu
We study the asymptotic size of the Karp-Sipser core in the configuration model with arbitrary degree distributions. The Karp-Sipser core is the induced subgraph obtained by iterat…
Counting homomorphisms in antiferromagnetic graphs via Lorentzian polynomials
Joonkyung Lee, Jaeseong Oh, Jaehyeon Seo
An edge-weighted graph , possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The num…