Copertina

Monitizer: Automating Design and Evaluation of Neural Network Monitors

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Azeem, Muqsit, Grobelna, Marta, Kanav, Sudeep, Kretinsky, Jan, Mohr, Stefanie, Rieder, Sabine
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

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

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

NeuFair: Neural Network Fairness Repair with Dropout
di: Dasu, Vishnu Asutosh, et al.
Pubblicazione: (2024)

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

Graph Neural Networks based Log Anomaly Detection and Explanation
di: Li, Zhong, et al.
Pubblicazione: (2023)

Analysing the Behaviour of Tree-Based Neural Networks in Regression Tasks
di: Samoaa, Peter, et al.
Pubblicazione: (2024)

RBT4DNN: Requirements-based Testing of Neural Networks
di: Mozumder, Nusrat Jahan, et al.
Pubblicazione: (2025)

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
di: Hu, Boyue Caroline, et al.
Pubblicazione: (2025)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
di: Xie, Zichen, et al.
Pubblicazione: (2026)

SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression
di: Li, Jingyang, et al.
Pubblicazione: (2026)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
di: Brix, Christopher, et al.
Pubblicazione: (2023)

GREPO: A Benchmark for Graph Neural Networks on Repository-Level Bug Localization
di: Wang, Juntong, et al.
Pubblicazione: (2026)

Automating the Enterprise with Foundation Models
di: Wornow, Michael, et al.
Pubblicazione: (2024)

AI-Driven Code Refactoring: Using Graph Neural Networks to Enhance Software Maintainability
di: Bandarupalli, Gopichand
Pubblicazione: (2025)

Heterogeneous Directed Hypergraph Neural Network over abstract syntax tree (AST) for Code Classification
di: Yang, Guang, et al.
Pubblicazione: (2023)

Call Me Maybe: Enhancing JavaScript Call Graph Construction using Graph Neural Networks
di: Bhuiyan, Masudul Hasan Masud, et al.
Pubblicazione: (2025)

SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents
di: Zolfagharian, Amirhossein, et al.
Pubblicazione: (2023)

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
di: Yang, Zhenning, et al.
Pubblicazione: (2025)

Automating Code Adaptation for MLOps -- A Benchmarking Study on LLMs
di: Patel, Harsh, et al.
Pubblicazione: (2024)

On the Impact of Code Comments for Automated Bug-Fixing: An Empirical Study
di: Vitale, Antonio, et al.
Pubblicazione: (2026)

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

R-LAM: Reproducibility-Constrained Large Action Models for Scientific Workflow Automation
di: Sureshkumar, Suriya
Pubblicazione: (2026)

PostTrainBench: Can LLM Agents Automate LLM Post-Training?
di: Rank, Ben, et al.
Pubblicazione: (2026)

CONSTRUCTA: Automating Commercial Construction Schedules in Fabrication Facilities with Large Language Models
di: Zhang, Yifan, et al.
Pubblicazione: (2025)

AIPC: Agent-Based Automation for AI Model Deployment with Qualcomm AI Runtime
di: Su, Jianhao, et al.
Pubblicazione: (2026)

BitsAI-Fix: LLM-Driven Approach for Automated Lint Error Resolution in Practice
di: Li, Yuanpeng, et al.
Pubblicazione: (2025)

Assessing Large Language Models for Automated Feedback Generation in Learning Programming Problem Solving
di: Silva, Priscylla, et al.
Pubblicazione: (2025)

Towards a Neural Debugger for Python
di: Beck, Maximilian, et al.
Pubblicazione: (2026)

Towards Evaluation Engineering: An Empirical Study of ML Evaluation Harnesses in the Wild
di: Zhao, Zhimin, et al.
Pubblicazione: (2026)

Functional Overlap Reranking for Neural Code Generation
di: To, Hung Quoc, et al.
Pubblicazione: (2023)

Retrieval-Augmented Instruction Tuning for Automated Process Engineering Calculations : A Tool-Chaining Problem-Solving Framework with Attributable Reflection
di: Sakhinana, Sagar Srinivas, et al.
Pubblicazione: (2024)

DRAFT-ing Architectural Design Decisions using LLMs
di: Dhar, Rudra, et al.
Pubblicazione: (2025)

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

Evaluating the Use of LLMs for Documentation to Code Traceability
di: Alor, Ebube, et al.
Pubblicazione: (2025)

Can LLMs Generate Architectural Design Decisions? -An Exploratory Empirical study
di: Dhar, Rudra, et al.
Pubblicazione: (2024)

SMARTCAL: An Approach to Self-Aware Tool-Use Evaluation and Calibration
di: Shen, Yuanhao, et al.
Pubblicazione: (2024)

System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
di: Sharifi, Sepehr, et al.
Pubblicazione: (2024)

Predicting Open Source Software Sustainability with Deep Temporal Neural Hierarchical Architectures and Explainable AI
di: Karim, S M Rakib Ul, et al.
Pubblicazione: (2026)