Resultados de búsqueda - Reps, Thomas

Limitar resultados
  1. 1
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  11. 11
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  12. 12
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  13. 13
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  14. 14
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  15. 15
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  16. 16
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  17. 17
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  18. 18
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  19. 19
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  20. 20
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: