Misailovic, Sasa
- SynCode: LLM Generation with Grammar Augmentation
2024/03/03 by Shubham Ugare, Ugare, Shubham, Tarun Suresh +6 · 19 citations
Computer Science · #Digital Rights Management and Security #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- CRANE: Reasoning with constrained LLM generation
2025/02/13 by Debangshu Banerjee, Tarun Suresh, Banerjee, Debangshu +7 · 13 citations
Computer Science · #Natural Language Processing Techniques #Semantic Web and Ontologies
- Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms
2018/09/16 by Phillip Stanley‐Marbell, Phillip Stanley-Marbell, Stanley-Marbell, Phillip +32 · 1 voice
Engineering · Computer Science · #Low-power high-performance VLSI design #VLSI and Analog Circuit Testing #VLSI and FPGA Design Techniques
- IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
2024/10/09 by Shubham Ugare, Ugare, Shubham, Rohan Gumaste +7 · 6 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- DINGO: Constrained Inference for Diffusion LLMs
2025/05/29 by Tarun Suresh, Debangshu Banerjee, Suresh, Tarun +7 · 4 citations
Arts and Humanities · Computer Science · #Digital Humanities and Scholarship #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Topic Modeling
- Is The Watermarking Of LLM-Generated Code Robust?
2024/03/24 by Tarun Suresh, Suresh, Tarun, Shubham Ugare +5 · 2 citations
Computer Science · Engineering · #Advanced Steganography and Watermarking Techniques #Digital Rights Management and Security #Vehicle License Plate Recognition
- Provable Defense Against Geometric Transformations
2022/07/22 by Rem Yang, Yang, Rem, Jacob Laurel +5 · 1 citation
Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Medical Imaging and Analysis
- GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
2022/08/03 by Keyur Joshi, Joshi, Keyur, Chiao Hsieh +5 · 1 citation
Decision Sciences · #Probabilistic and Robust Engineering Design
- REFINESTAT: Efficient Exploration for Probabilistic Program Synthesis
2025/09/01 by Kanda, Madhav, Ugare, Shubham, Misailovic, Sasa · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)