Конколічне випробування стійкості трансформатора під впливом впливу
Зосереджено на випробуванні на стійкість трансформатора з урахуванням впливу конколіків.
At a glance
- Source
- arXiv
- Published
- Jun 17, 2026
- Read time
- 1 min read
- Primary lane
- Software Engineering
Quick read
4 bullets- Зосереджено на випробуванні на стійкість трансформатора з урахуванням впливу конколіків.
- Concolic тестування для нейронних мереж чергує конкретне виконання з вирішенням обмежень для пошуку вхідних даних, які змінюють модельні рішення.
- Ми представляємо тестер concolic для класифікаторів Transformer, який використовує оцінки SHAP для ранжирування предикатів шляху, що очікують на розгляд, за їхнім впливом на поточний прогноз.
- Значення полягає в тому, чи змінює метод реальний ризик, а не лише контрольні цифри. Це важливо, коли це дає командам практичну точку контролю для неправильного використання, походження або виявлення збоїв у розгорнутих системах.
Чому це важливо
Значення полягає в тому, чи змінює метод реальний ризик, а не лише контрольні цифри. Це важливо, коли це дає командам практичну точку контролю для неправильного використання, походження або виявлення збоїв у розгорнутих системах.
Builder takeaway
arXiv published this update in the Software Engineering lane. Use the original source for details, then compare it with related briefings before changing a roadmap, workflow, or production system.
Швидке читання
- Зосереджено на випробуванні на стійкість трансформатора з урахуванням впливу конколіків.
- Concolic тестування для нейронних мереж чергує конкретне виконання з вирішенням обмежень для пошуку вхідних даних, які змінюють модельні рішення.
- Ми представляємо тестер concolic для класифікаторів Transformer, який використовує оцінки SHAP для ранжирування предикатів шляху, що очікують на розгляд, за їхнім впливом на поточний прогноз.
Stay ahead with daily AI briefings
Follow the feed, share the briefing, or jump back into the archive.