Benjie Wang

1. Statistically Robust Neural Network Classification
   2019/12/10 by Benjie Wang, Wang, Benjie, Stefan Webb +3 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
2. 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
3. Where is the signal in tokenization space?
   2024/08/16 by Renato Lui Geh, Geh, Renato Lui, Honghua Zhang +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
4. PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
   2024/08/17 by Xiyue Zhang, Zhang, Xiyue, Benjie Wang +5 · 2 citations
   Computer Science · #Neural Networks and Applications #Time Series Analysis and Forecasting
5. Provable Preimage Under-Approximation for Neural Networks (Full Version)
   2023/05/05 by Xiyue Zhang, Zhang, Xiyue, Benjie Wang +3 · 1 citation
   Computer Science · Materials Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Software Engineering (cs.SE)
6. Restructuring Tractable Probabilistic Circuits
   2024/11/19 by Honghua Zhang, Zhang, Honghua, Benjie Wang +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
7. 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
8. TRACE Back from the Future: A Probabilistic Reasoning Approach to Controllable Language Generation
   2025/04/25 by Guangyuan Weng, Weng, Gwen Yidou, Benjie Wang +3 · 2 citations
   Computer Science · #Topic Modeling #Text Readability and Simplification #Natural Language Processing Techniques
9. 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