Search Results - Baader, Maximilian

  • Showing 1 - 18 results of 18
Refine Results
  1. 1
    Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation

    Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation by Bichsel, Benjamin, Paradis, Anouk, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Efficient Certification of Spatial Robustness

    Efficient Certification of Spatial Robustness by Ruoss, Anian, Baader, Maximilian, Balunović, Mislav, Vechev, Martin

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation

    Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation by Dekoninck, Jasper, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    A Unified Approach to Routing and Cascading for LLMs

    A Unified Approach to Routing and Cascading for LLMs by Dekoninck, Jasper, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    SPEAR:Exact Gradient Inversion of Batches in Federated Learning

    SPEAR:Exact Gradient Inversion of Batches in Federated Learning by Dimitrov, Dimitar I, Baader, Maximilian, Mark Niklas Müller, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Ward: Provable RAG Dataset Inference via LLM Watermarks

    Ward: Provable RAG Dataset Inference via LLM Watermarks by Jovanović, Nikola, Staab, Robin, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Scalable Certified Segmentation via Randomized Smoothing

    Scalable Certified Segmentation via Randomized Smoothing by Fischer, Marc, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Expressivity of ReLU-Networks under Convex Relaxations

    Expressivity of ReLU-Networks under Convex Relaxations by Baader, Maximilian, Mark Niklas Müller, Mao, Yuhao, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    The Fundamental Limits of Interval Arithmetic for Neural Networks

    The Fundamental Limits of Interval Arithmetic for Neural Networks by Mirman, Matthew, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Certified Defense to Image Transformations via Randomized Smoothing

    Certified Defense to Image Transformations via Randomized Smoothing by Fischer, Marc, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    DAGER: Exact Gradient Inversion for Large Language Models

    DAGER: Exact Gradient Inversion for Large Language Models by Petrov, Ivo, Dimitrov, Dimitar I, Baader, Maximilian, Mark Niklas Müller, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Certified Robustness to Data Poisoning in Gradient-Based Training

    Certified Robustness to Data Poisoning in Gradient-Based Training by Sosnin, Philip, Müller, Mark N, Baader, Maximilian, Tsay, Calvin, Wicker, Matthew

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations

    Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations by Balauca, Stefan, Mark Niklas Müller, Mao, Yuhao, Baader, Maximilian, Fischer, Marc, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    On the Paradox of Certified Training

    On the Paradox of Certified Training by Jovanović, Nikola, Balunović, Mislav, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Latent Space Smoothing for Individually Fair Representations

    Latent Space Smoothing for Individually Fair Representations by Peychev, Momchil, Ruoss, Anian, Balunović, Mislav, Baader, Maximilian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Evading Data Contamination Detection for Language Models is (too) Easy

    Evading Data Contamination Detection for Language Models is (too) Easy by Dekoninck, Jasper, Mark Niklas Müller, Baader, Maximilian, Fischer, Marc, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Universal Approximation with Certified Networks

    Universal Approximation with Certified Networks by Baader, Maximilian, Mirman, Matthew, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Efficient Certification of Spatial Robustness

    Efficient Certification of Spatial Robustness by Ruoss, Anian, Baader, Maximilian, Balunović, Mislav, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: