Parameterized Abstract Interpretation for Transformer Verification
- Pei Huang
- Dennis Wei
- et al.
- 2026
- AAAI 2026
Publications
818 results for Foundation Models
NOVAID: Natural-language Observability Visualization Assistant for ITOps Dashboard Widget Generation
- Pratik Mishra
- Caner Gözübüyük
- et al.
- 2026
- IAAI 2026
Scalable Log Analysis with LLMs: A Case Study with IT Software Support
- Pranjal Gupta
- Karan Bhukar
- et al.
- 2026
- IAAI 2026
Reducing the Scope of Language Models
- David Yunis
- siyu huo
- et al.
- 2026
- AAAI 2026
MegaCoin: Enhancing Medium-Grained Color Perception for Vision-Language Models
- Ming-chang Chiu
- Shicheng Wen
- et al.
- 2026
- AAAI 2026
Towards a Foundation Model for Partial Differential Equations Across Physics Domains
- Eduardo Almeida Soares
- Emilio Ashton Vital Brazil
- et al.
- 2026
- AAAI 2026
Agentic Code Generation for Heuristic Rules in Equipment Monitoring
- Fabio Lorenzi
- Abigail Langbridge
- et al.
- 2026
- AAAI 2026
Black-Box Uncertainty Quantification for Large Language Models via Ensemble-of-Ensembles
- Wang Ma
- Debarun Bhattacharjya
- 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
Extending INDUS Models for Low-Latency, High-Context Scientific Sentence Embeddings
- Vishnudev Kuruvanthodi
- Bhatta Bhattacharjee
- et al.
- 2025
- AGU 2025