Benjie Wang
  • Home
  • Publications
  • Talks
  • Teaching
  • Service
  • CV
ESC

Searching...

No results found

↑↓ Navigate ↵ Select
Powered by Hugo Blox
  • Service
  • Teaching
  • Publications
    • Interpretable Causal Discovery via Causal-Effect Constraints
    • Breaking the Factorization Barrier in Diffusion Language Models
    • PREMAP: A Unifying Preimage Approximation Framework for Neural Networks
    • Scaling Probabilistic Circuits via Monarch Matrices
    • TRACE Back from the Future: A Probabilistic Reasoning Approach to Controllable Language Generation
    • Restructuring Tractable Probabilistic Circuits
    • On the Relationship Between Monotone and Squared Probabilistic Circuits
    • A Compositional Atlas for Algebraic Circuits
    • Where is the signal in tokenization space?
    • Neural Structure Learning with Stochastic Differential Equations
    • Provable Preimage Under-Approximation for Neural Networks
    • Compositional Probabilistic and Causal Inference using Tractable Circuit Models
    • Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits
    • Tractable Uncertainty for Structure Learning
    • Provable Guarantees on the Robustness of Decision Rules to Causal Interventions
    • Statistically Robust Neural Network Classification
    • Assessing Robustness of Text Classification through Maximal Safe Radius Computation
  • Invited & Contributed Talks
    • Bridging the Formalization Gap in Generative AI
    • Symbolic Reasoning in the Age of Large Language Models
    • Probabilistic Reasoning in Large-Scale Models
    • Restructuring Tractable Probabilistic Circuits
    • Scaling Up Marginalization in Probabilistic Modeling
    • Tractable Deep Generative Models
    • Restructuring Tractable Probabilistic Circuits
    • Marginal Determinism in Structured Decomposable Circuits
    • Compositional Probabilistic and Causal Inference
    • Tractable Uncertainty for Structure Learning
    • Tractable Uncertainty for Structure Learning

Bridging the Formalization Gap in Generative AI

May 1, 2026 · 0 min read
Date
May 1, 2026 12:00 AM
Event
UIUC Machine Learning Seminar
events
Last updated on May 1, 2026
Benjie Wang
Authors
Benjie Wang
Assistant Professor
Symbolic Reasoning in the Age of Large Language Models October 15, 2025 →

© 2026 Benjie Wang

Made with Hugo Blox — Open Source. Build yours →