Thomas Reps
- Synthesizing Abstract Transformers for Reduced-Product Domains
2024/08/07 by Pankaj Kumar Kalita, Kalita, Pankaj Kumar, Thomas Reps +3 · 1 voice · 2 citations
Biochemistry, Genetics and Molecular Biology · #Chemical Synthesis and Analysis
- Symbolic Quantum Simulation with Quasimodo
2023/02/08 by Meghana Sistla, Swarat Chaudhuri, Sistla, Meghana +3 · 5 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Physical sciences #Formal Languages and Automata Theory (cs.FL) #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Symbolic Computation (cs.SC)
- Proving Unrealizability for Syntax-Guided Synthesis
2019/05/14 by Qinheping Hu, Jason Breck, Hu, Qinheping +7 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- “Maximal-munch” tokenization in linear time
1998/03/01 by Thomas Reps · 1 citation
- Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
2024/05/24 by Abhinav Jain, Swarat Chaudhuri, Jain, Abhinav +5 · 4 citations
Decision Sciences · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Simulation Techniques and Applications
- Weighted Context-Free-Language Ordered Binary Decision Diagrams
2023/05/23 by Meghana Sistla, Sistla, Meghana, Swarat Chaudhuri +3 · 2 citations
Computer Science · Engineering · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Formal Languages and Automata Theory (cs.FL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Radiation Effects in Electronics
- Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
2024/08/28 by K. Johnson, Johnson, Keith J. C., R. Krishnan +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
- Synthesizing Specifications
2023/01/26 by Kanghee Park, Loris D’Antoni, Park, Kanghee +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research
- The Best of Times, the Worst of Times: Moment-Based Analysis of Probabilistic Cost Structures
2026/07/28 by Chenyu Zhou, Di Wang, Thomas Reps
#cs.PL