Search Results - Reps, Thomas

Refine Results
  1. 1
    Cover Image

    Newtonian Program Analysis of Probabilistic Programs Autoría: Wang, Di, Reps, Thomas

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Polynomial Bounds of CFLOBDDs against BDDs Autoría: Zhi, Xusheng, Reps, Thomas

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams Autoría: Sistla, Meghana, Chaudhuri, Swarat, Reps, Thomas

    Published 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    Weighted Context-Free-Language Ordered Binary Decision Diagrams Autoría: Sistla, Meghana, Chaudhuri, Swarat, Reps, Thomas

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits Autoría: Yu, Nengkun, Palsberg, Jens, Reps, Thomas

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    Software Model Checking via Summary-Guided Search (Extended Version) Autoría: Fang, Ruijie, Kincaid, Zachary, Reps, Thomas

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  7. 7
    Cover Image

    Unrealizability Logic Autoría: Kim, Jinwoo, D'Antoni, Loris, Reps, Thomas

    Published 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  8. 8
    Cover Image

    Synthesizing Specifications Autoría: Park, Kanghee, D'Antoni, Loris, Reps, Thomas

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  9. 9
    Cover Image

    Synthesizing Abstract Transformers for Reduced-Product Domains Autoría: Kalita, Pankaj Kumar, Reps, Thomas, Roy, Subhajit

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  10. 10
    Cover Image

    Scalable Equivalence Checking and Verification of Shallow Quantum Circuits Autoría: Yu, Nengkun, Trinh, Xuan Du, Reps, Thomas

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  11. 11
    Cover Image

    Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation Autoría: Jain, Abhinav, Chaudhuri, Swarat, Reps, Thomas, Jermaine, Chris

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  12. 12
    Cover Image

    MHA-RAG: Improving Efficiency, Accuracy, and Consistency by Encoding Exemplars as Soft Prompts Autoría: Jain, Abhinav, Yao, Xinyu, Reps, Thomas, Jermaine, Christopher

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  13. 13
    Cover Image

    Do CFLOBDDs Actually Make Use of Linear Structure? Autoría: Sistla, Meghana Aparna, Chaudhuri, Swarat, Reps, Thomas W.

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  14. 14
    Cover Image

    Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs Autoría: Nagy, Shaan, Kim, Jinwoo, Reps, Thomas, D'Antoni, Loris

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  15. 15
    Cover Image

    Verifying Solutions to Semantics-Guided Synthesis Problems Autoría: Murphy, Charlie, Johnson, Keith, Reps, Thomas, D'Antoni, Loris

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  16. 16
    Cover Image

    Semantics of Sets of Programs Autoría: Kim, Jinwoo, Nagy, Shaan, Reps, Thomas, D'Antoni, Loris

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  17. 17
    Cover Image

    Efficient Cost Bounds with Linear Maps Autoría: Kahn, David M, Hoffmann, Jan, Reps, Thomas, Grosen, Jessie

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  18. 18
    Cover Image

    Manjushri: A Tool for Equivalence Checking of Quantum Circuits Autoría: Trinh, Xuan Du, Sistla, Meghana, Yu, Nengkun, Reps, Thomas

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  19. 19
    Cover Image

    The SemGuS Toolkit Autoría: Johnson, Keith J. C., Reynolds, Andrew, Reps, Thomas, D'Antoni, Loris

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  20. 20
    Cover Image

    Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics Autoría: Johnson, Keith J. C., Krishnan, Rahul, Reps, Thomas, D'Antoni, Loris

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: