Stars
Pytorch-based framework for solving parametric constrained optimization problems, physics-informed system identification, and parametric model predictive control.
adrianjav / cirkit
Forked from april-tools/cirkita python framework to build, learn and reason about probabilistic circuits and tensor networks
Repository of the article "Graph Conditional Flow Matching for Relational Data Generation"
CUDA kernels for generalized matrix-multiplication in PyTorch
We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning
Stochastic Automatic Differentiation library for PyTorch.
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.
[TMLR] Research code for the paper "Conditional Sampling of Variational Autoencoders via Iterated Approximate Ancestral Sampling".
Stanford Drone Dataset with non-convex Constraints
gasp! - GPU Accelerated Simplical Polynomial Integrator
Official repository for "Logically Consistent Language Models via Neuro-Symbolic Integration", accepted at ICLR 2025.
Probabilistic Graph Circuits: Deep Generative Models for Tractable Probabilistic Inference over Graphs
CausalFlows: A library for Causal Normalizing Flows in Pytorch
Materials for the AAAI'25 tutorial "From Tensor Factorizations to Circuits (and Back)"
Repository of Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints paper
Repository for: "Training Preference-Guided Routers for Molecule Generation"
Official Code for our Findings of NAACL 2025 paper: What can LLMs Capture about Code Functional Equivalence?
LattE integrale, software for counting lattice points and integration over convex polytopes
Sum-of-squares Non-monotonic Probabilistic Circuits
Documentation and tutorials for accessing MicroBooNE open samples.
Integrals of Gaussians under linear domain constraints