Parameterized Abstract Interpretation for Transformer Verification
- Pei Huang
- Dennis Wei
- et al.
- 2026
- AAAI 2026
Publications
801 results for Foundation Models
Reducing the Scope of Language Models
- David Yunis
- siyu huo
- et al.
- 2026
- AAAI 2026
Agentic Code Generation for Heuristic Rules in Equipment Monitoring
- Fabio Lorenzi
- Abigail Langbridge
- et al.
- 2026
- AAAI 2026
Neural Network Reprogrammability: A Unified Framework for Parameter-Efficient Foundation Model Adaptation
- Feng Liu
- Zesheng Ye
- et al.
- 2026
- AAAI 2026
Change detection of the Karukinka Nature Park peatlands ecosystem using multimodal foundation models
- Zaheed Gaffoor
- Craig Mahlasi
- et al.
- 2025
- AGU 2025
Downstream Science Applications and Benchmark Development for Lunar Science Foundation Models
- Andrew Annex
- Michael Barker
- et al.
- 2025
- AGU 2025
Foundation Model for Reconstruction of Missing Data in TROPOMI Sentinel-5P Greenhouse Data Products
- 2025
- AGU 2025
Evaluation of partitioning algorithms for trustworthy out-of-distribution evaluation of machine learning models in biochemistry
- 2025
- VIBE 2025
Enabling Enterprise AI with IBM Spyre
- Jeffrey Burns
- Leland Chang
- et al.
- 2025
- IEDM 2025
Omni-R1: Do You Really Need Audio to Fine-Tune Your Audio LLM?
- Andrew Rouditchenko
- Saurabhchand Bhati
- et al.
- 2025
- ASRU 2025