3 papers
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…
cond-mat.mtrl-sci2025
A Chemically Grounded Evaluation Framework for Generative Models in Materials Discovery
Elohan Veillon, Astrid Klipfel, Adlane Sayede +1
Generative models hold great promise for accelerating materials discovery, but their evaluation often overlooks the chemical validity and stability requirements crucial to real-wor…