Search Results - Balunovic, Mislav

Refine Results
  1. 1
    Robustness Certification for Point Cloud Models

    Robustness Certification for Point Cloud Models by Lorenz, Tobias, Ruoss, Anian, Balunovic, Mislav, Singh, Gagandeep, Vechev, Martin

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    From Principle to Practice: Vertical Data Minimization for Machine Learning

    From Principle to Practice: Vertical Data Minimization for Machine Learning by Staab, Robin, Jovanovic, Nikola, Balunovic, Mislav, Vechev, Martin

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    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:
  4. 4
    Scalable Polyhedral Verification of Recurrent Neural Networks

    Scalable Polyhedral Verification of Recurrent Neural Networks by Ryou, Wonryong, Chen, Jiayu, Balunovic, Mislav, Singh, Gagandeep, Andrei, Dan, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    CuTS: Customizable Tabular Synthetic Data Generation

    CuTS: Customizable Tabular Synthetic Data Generation by Vero, Mark, Balunović, Mislav, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Beyond Memorization: Violating Privacy Via Inference with Large Language Models

    Beyond Memorization: Violating Privacy Via Inference with Large Language Models by Staab, Robin, Vero, Mark, Balunović, Mislav, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Large Language Models are Advanced Anonymizers

    Large Language Models are Advanced Anonymizers by Staab, Robin, Vero, Mark, Balunović, Mislav, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    From Principle to Practice: Vertical Data Minimization for Machine Learning

    From Principle to Practice: Vertical Data Minimization for Machine Learning by Staab, Robin, Jovanović, Nikola, Balunović, Mislav, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Fair Normalizing Flows

    Fair Normalizing Flows by Balunović, Mislav, Ruoss, Anian, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    TabLeak: Tabular Data Leakage in Federated Learning

    TabLeak: Tabular Data Leakage in Federated Learning by Vero, Mark, Balunović, Mislav, Dimitrov, Dimitar I, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    FARE: Provably Fair Representation Learning with Practical Certificates

    FARE: Provably Fair Representation Learning with Practical Certificates by Jovanović, Nikola, Balunović, Mislav, Dimitrov, Dimitar I, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents

    AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents by Debenedetti, Edoardo, Zhang, Jie, Balunović, Mislav, Beurer-Kellner, Luca, Fischer, Marc, Tramèr, Florian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Data Leakage in Federated Averaging

    Data Leakage in Federated Averaging by Dimitrov, Dimitar I, Balunović, Mislav, Konstantinov, Nikola, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    LAMP: Extracting Text from Gradients with Language Model Priors

    LAMP: Extracting Text from Gradients with Language Model Priors by Balunović, Mislav, Dimitrov, Dimitar I, Jovanović, Nikola, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    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:
  16. 16
    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:
  17. 17
    Bayesian Framework for Gradient Leakage

    Bayesian Framework for Gradient Leakage by Balunović, Mislav, Dimitrov, Dimitar I, Staab, Robin, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Robustness Certification for Point Cloud Models

    Robustness Certification for Point Cloud Models by Lorenz, Tobias, Ruoss, Anian, Balunović, Mislav, Singh, Gagandeep, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act

    COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act by Guldimann, Philipp, Spiridonov, Alexander, Staab, Robin, Jovanović, Nikola, Vero, Mark, Vechev, Velko, Gueorguieva, Anna, Balunović, Mislav, Konstantinov, Nikola, Bielik, Pavol, Tsankov, Petar, Vechev, Martin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    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: