Cover Image

Causal Fuzzing for Verifying Machine Unlearning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mazhar, Anna, Galhotra, Sainyam
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Reliable Testing of Machine Unlearning
by: Mazhar, Anna, et al.
Published: (2026)

Trace-Level Analysis of Information Contamination in Multi-Agent Systems
by: Mazhar, Anna, et al.
Published: (2026)

Intervention and Conditioning in Causal Bayesian Networks
by: Galhotra, Sainyam, et al.
Published: (2024)

FuzzTheREST: An Intelligent Automated Black-box RESTful API Fuzzer
by: Dias, Tiago, et al.
Published: (2024)

Clover: Closed-Loop Verifiable Code Generation
by: Sun, Chuyue, et al.
Published: (2023)

SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
by: Zhou, Xingjian, et al.
Published: (2024)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
by: Elboher, Yizhak Y., et al.
Published: (2026)

Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching
by: Jiang, Shan, et al.
Published: (2026)

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
by: Bai, Yifan, et al.
Published: (2026)

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
by: Xie, Zichen, et al.
Published: (2026)

Beyond Verifiable Rewards: Rubric-Based GRM for Reinforced Fine-Tuning SWE Agents
by: Huang, Jiawei, et al.
Published: (2026)

LLM-Vectorizer: LLM-based Verified Loop Vectorizer
by: Taneja, Jubi, et al.
Published: (2024)

The Causal Impact of Tool Affordance on Safety Alignment in LLM Agents
by: Yu, Shasha, et al.
Published: (2026)

AgentTrace: Causal Graph Tracing for Root Cause Analysis in Deployed Multi-Agent Systems
by: Wang, Zhaohui Geoffrey
Published: (2026)

Machine Learning Robustness: A Primer
by: Braiek, Houssem Ben, et al.
Published: (2024)

Machine Learning with Requirements: a Manifesto
by: Giunchiglia, Eleonora, et al.
Published: (2023)

The Impact of Software Testing with Quantum Optimization Meets Machine Learning
by: Bandarupalli, Gopichand
Published: (2025)

Scoring Verifiers: Evaluating Synthetic Verification for Code and Reasoning
by: Ficek, Aleksander, et al.
Published: (2025)

asanAI: In-Browser, No-Code, Offline-First Machine Learning Toolkit
by: Koch, Norman, et al.
Published: (2025)

Model Lake: a New Alternative for Machine Learning Models Management and Governance
by: Garouani, Moncef, et al.
Published: (2025)

Sustainable Machine Learning Retraining: Optimizing Energy Efficiency Without Compromising Accuracy
by: Poenaru-Olaru, Lorena, et al.
Published: (2025)

Machine Learning Systems: A Survey from a Data-Oriented Perspective
by: Cabrera, Christian, et al.
Published: (2023)

On The Effectiveness of One-Class Support Vector Machine in Different Defect Prediction Scenarios
by: Moussa, Rebecca, et al.
Published: (2022)

Towards Transparent and Accurate Diabetes Prediction Using Machine Learning and Explainable Artificial Intelligence
by: Khokhar, Pir Bakhsh, et al.
Published: (2025)

ML-On-Rails: Safeguarding Machine Learning Models in Software Systems A Case Study
by: Abdelkader, Hala, et al.
Published: (2024)

Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning
by: de Conto, Eduardo, et al.
Published: (2024)

Automated Machine Learning: A Case Study on Non-Intrusive Appliance Load Monitoring
by: Moin, Armin, et al.
Published: (2022)

APIGen: Automated Pipeline for Generating Verifiable and Diverse Function-Calling Datasets
by: Liu, Zuxin, et al.
Published: (2024)

Automated File-Level Logging Generation for Machine Learning Applications using LLMs: A Case Study using GPT-4o Mini
by: Rodriguez, Mayra Sofia Ruiz, et al.
Published: (2025)

Solution-oriented Agent-based Models Generation with Verifier-assisted Iterative In-context Learning
by: Niu, Tong, et al.
Published: (2024)

Traversal-as-Policy: Log-Distilled Gated Behavior Trees as Externalized, Verifiable Policies for Safe, Robust, and Efficient Agents
by: Li, Peiran, et al.
Published: (2026)

FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
by: He, Yifeng, et al.
Published: (2024)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
by: Dougherty, Quinn, et al.
Published: (2025)

Fuzz4All: Universal Fuzzing with Large Language Models
by: Xia, Chunqiu Steven, et al.
Published: (2023)

Python Fuzzing for Trustworthy Machine Learning Frameworks
by: Yegorov, Ilya, et al.
Published: (2024)

To Be Forgotten or To Be Fair: Unveiling Fairness Implications of Machine Unlearning Methods
by: Zhang, Dawen, et al.
Published: (2023)

Adaptation of XAI to Auto-tuning for Numerical Libraries
by: Aoki, Shota, et al.
Published: (2024)

Large Language Models Synergize with Automated Machine Learning
by: Xu, Jinglue, et al.
Published: (2024)

ToolFuzz -- Automated Agent Tool Testing
by: Milev, Ivan, et al.
Published: (2025)

When Fuzzing Meets LLMs: Challenges and Opportunities
by: Jiang, Yu, et al.
Published: (2024)