3 citations · 5 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
Shixin Sun, Astrid Klipfel, Ondřej Kuželka +2
Weighted first-order model counting (WFOMC) is a central task in lifted probabilistic inference: It asks for the weighted sum of all models of a first-order sentence over a finite…
cs.LG2026
Fourier Transformers for Latent Crystallographic Diffusion and Generative Modeling
Jed A. Duersch, Elohan Veillon, Astrid Klipfel +2
The discovery of new crystalline materials calls for generative models that handle periodic boundary conditions, crystallographic symmetries, and physical constraints, while scalin…