vix.ing · top · new · best · stats · spec

Guy Van den Broeck

  1. On the Paradox of Learning to Reason from Data
    2022/05/23 by Honghua Zhang, Liunian Harold Li, Zhang, Honghua +7 · 6 voices · 6 citations
    #cs.CL #cs.AI
  2. A Semantic Loss Function for Deep Learning with Symbolic Knowledge
    2017/11/29 by Jingyi Xu, Zilu Zhang, Xu, Jingyi +7 · 20 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Machine Learning and Data Classification #Topic Modeling
  3. On the Tractability of SHAP Explanations
    2020/09/18 by Guy Van den Broeck, Broeck, Guy Van den, Anton Lykov +5 · 10 citations
    Computer Science · #Explainable Artificial Intelligence (XAI) #Bayesian Modeling and Causal Inference #Machine Learning and Data Classification
  4. Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic\n Circuits
    2020/04/13 by Robert Peharz, Peharz, Robert, Steven Lang +15 · 9 citations
    Computer Science · #Advanced Neural Network Applications #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification
  5. Semantic Probabilistic Layers for Neuro-Symbolic Learning
    2022/06/01 by Kareem Ahmed, Ahmed, Kareem, Stefano Teso +7 · 9 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Neural Networks and Applications
  6. Accelerating Diffusion LLMs via Adaptive Parallel Decoding
    2025/05/31 by Daniel Israel, Israel, Daniel, Guy Van den Broeck +3 · 35 citations
    Computer Science · #Digital Rights Management and Security
  7. Skolemization for Weighted First-Order Model Counting
    2013/12/19 by Guy Van den Broeck, Wannes Meert, Broeck, Guy Van den +3 · 5 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
  8. A canonical generalization of OBDD
    2026/04/07 by Florent Capelli, YooJung Choi, Stefan Mengel +2 · 6 voices
    #cs.AI #cs.DS
  9. On the Challenges and Opportunities in Generative AI
    2024/02/28 by Laura Manduchi, Manduchi, Laura, Kushagra Pandey +48 · 9 citations
    Computer Science · #AI-based Problem Solving and Planning #Cognitive Computing and Networks #Evolutionary Algorithms and Applications
  10. Adaptable Logical Control for Large Language Models
    2024/06/19 by Honghua Zhang, Zhang, Honghua, Po-Nien Kung +7 · 1 voice · 8 citations
    Computer Science · #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling #cs.CL
  11. Symmetric Weighted First-Order Model Counting
    2014/12/03 by Paul Beame, Beame, Paul, Guy Van den Broeck +5 · 3 citations
    Computer Science · #Machine Learning and Algorithms #Bayesian Modeling and Causal Inference #Advanced Graph Neural Networks
  12. Discrete Copula Diffusion
    2024/10/02 by Anji Liu, Oliver Broadrick, Liu, Anji +5 · 10 citations
    Computer Science · Economics, Econometrics and Finance · Engineering · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications #Reservoir Engineering and Simulation Methods #Stochastic processes and financial applications
  13. Tractable Control for Autoregressive Language Generation
    2023/04/15 by Honghua Zhang, Meihua Dang, Zhang, Honghua +5 · 6 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
  14. Tractable Regularization of Probabilistic Circuits
    2021/06/04 by Anji Liu, Guy Van den Broeck, Liu, Anji +1 · 5 citations
    Computer Science · #Bayesian Modeling and Causal Inference #Machine Learning and Data Classification #Machine Learning and Algorithms
  15. Inference in Probabilistic Logic Programs using Weighted CNF's
    2012/02/14 by Daan Fierens, Guy Van den Broeck, Fierens, Daan +7 · 3 citations
    Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
  16. Lossless Compression with Probabilistic Circuits
    2021/11/23 by Anji Liu, Stephan Mandt, Liu, Anji +3 · 3 citations
    Computer Science · #Generative Adversarial Networks and Image Synthesis #Algorithms and Data Compression #Numerical Methods and Algorithms
  17. Probabilistic Generating Circuits
    2021/02/19 by Honghua Zhang, Brendan Juba, Zhang, Honghua +3 · 3 citations
    Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Bayesian Methods and Mixture Models #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Machine Learning (cs.LG) #Markov Chains and Monte Carlo Methods
  18. A Compositional Atlas for Algebraic Circuits
    2024/12/07 by Benjie Wang, Denis Deratani Mauá, Wang, Benjie +5 · 2 voices · 4 citations
    Computer Science · #Advanced Algebra and Logic
  19. Scaling Tractable Probabilistic Circuits: A Systems Perspective
    2024/06/02 by Anji Liu, Liu, Anji, Kareem Ahmed +3 · 4 citations
    Computer Science · Engineering · #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Low-power high-performance VLSI design #Machine Learning (cs.LG)
  20. Prepacking: A Simple Method for Fast Prefilling and Increased Throughput in Large Language Models
    2024/04/15 by Siyan Zhao, Zhao, Siyan, Daniel Israel +5 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Speech Recognition and Synthesis #Topic Modeling
  21. Where is the signal in tokenization space?
    2024/08/16 by Renato Lui Geh, Honghua Zhang, Geh, Renato Lui +7 · 3 citations
    Engineering · Physics and Astronomy · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Geophysics and Sensor Technology #Machine Learning (cs.LG) #Nuclear Physics and Applications
  22. SIMPLE: A Gradient Estimator for k-Subset Sampling
    2022/10/04 by Kareem Ahmed, Ahmed, Kareem, Zhe Zeng +5 · 2 citations
    Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Statistical Methods and Inference
  23. Controllable Generation via Locally Constrained Resampling
    2024/10/17 by Kareem Ahmed, Ahmed, Kareem, Kai-Wei Chang +3 · 3 citations
    Computer Science · Mathematics · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Matrix Theory and Algorithms #Numerical methods for differential equations
  24. On the Relationship Between Probabilistic Circuits and Determinantal\n Point Processes
    2020/06/26 by Honghua Zhang, Zhang, Honghua, Steven Holtzen +3 · 1 citation
    Chemistry · #History and advancements in chemistry
  25. Towards an Interpretable Latent Space in Structured Models for Video Prediction
    2021/07/16 by Rushil Gupta, Vishal Sharma, Gupta, Rushil +10 · 1 citation
    Computer Science · #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Human Pose and Action Recognition #Machine Learning (cs.LG) #Multimodal Machine Learning Applications
  26. Neuro-Symbolic Entropy Regularization
    2022/01/25 by Kareem Ahmed, Eric Wang, Ahmed, Kareem +5 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification
  27. Sparse Probabilistic Circuits via Pruning and Growing
    2022/11/22 by Meihua Dang, Anji Liu, Dang, Meihua +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Human Pose and Action Recognition #Machine Learning (cs.LG) #Music and Audio Processing
  28. Semantic Strengthening of Neuro-Symbolic Learning
    2023/02/28 by Kareem Ahmed, Ahmed, Kareem, Kai-Wei Chang +3 · 1 citation
    Computer Science · #Neural Networks and Applications #Evolutionary Algorithms and Applications
  29. Enabling Autoregressive Models to Fill In Masked Tokens
    2025/02/09 by Daniel Israel, Aditya Grover, Israel, Daniel +3 · 1 voice · 2 citations
    Computer Science · Engineering · #Handwritten Text Recognition Techniques #Human Motion and Animation #cs.AI #cs.CL #cs.LG
  30. Restructuring Tractable Probabilistic Circuits
    2024/11/19 by Honghua Zhang, Benjie Wang, Zhang, Honghua +5 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Machine Learning (cs.LG) #Music Technology and Sound Studies
  31. A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints
    2023/12/06 by Kareem Ahmed, Kai-Wei Chang, Ahmed, Kareem +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
  32. Image Inpainting via Tractable Steering of Diffusion Models
    2023/11/28 by Anji Liu, Liu, Anji, Mathias Niepert +3 · 1 citation
    Computer Science · #Generative Adversarial Networks and Image Synthesis #Music and Audio Processing #Computer Graphics and Visualization Techniques
  33. Semantic Loss Functions for Neuro-Symbolic Structured Prediction
    2024/05/12 by Kareem Ahmed, Stefano Teso, Ahmed, Kareem +19 · 1 citation
    Computer Science · #Neural Networks and Applications #Topic Modeling
  34. A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
    2024/04/15 by Antoine Amarilli, Amarilli, Antoine, Marcelo Arenas +9 · 1 citation
    Computer Science · #Data Structures and Algorithms (cs.DS) #Databases (cs.DB) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning and Algorithms #semigroups and automata theory
  35. TRACE Back from the Future: A Probabilistic Reasoning Approach to Controllable Language Generation
    2025/04/25 by Guangyuan Weng, Benjie Wang, Weng, Gwen Yidou +3 · 2 citations
    Computer Science · #Topic Modeling #Text Readability and Simplification #Natural Language Processing Techniques
  36. Breaking the Factorization Barrier in Diffusion Language Models
    2026/02/09 by Ian Li, Zilei Shao, Benjie Wang +3 · 1 voice · 1 citation
    #cs.LG #cs.AI