Publications

8413 results for AI

Parameterized Abstract Interpretation for Transformer Verification
- - Pei Huang
  - Dennis Wei
  - et al.
- 2026
- AAAI 2026
SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search
- - Yifan Zhang
  - Giridhar Ganapavarapu
  - et al.
- 2026
- AAAI 2026
Reducing the Scope of Language Models
- - David Yunis
  - siyu huo
  - et al.
- 2026
- AAAI 2026
STAR-VAE: Latent Variable Transformers for Scalable and Controllable Molecular Generation
- - Bc Kwon
  - Ben Shapira
  - et al.
- 2026
- AAAI 2026
AI Governance Workshop: Alignment, Morality, Law, and Design
- - Baihan Lin
  - Dhari Gandhi
  - et al.
- 2026
- AAAI 2026
Bandits, LLMs, and Agentic AI
- - Djallel Bouneffouf
  - Rafael Feraud
- 2026
- AAAI 2026
Towards Trustworthy and Socially Responsible Generative Foundation Models
- - Yue Huang
  - Zhenhong Zhou
  - et al.
- 2026
- AAAI 2026
Bridging Planning and Reasoning in Natural Languages with Foundational Models
- - Wenjun Li
  - Kangrui Wang
  - et al.
- 2026
- AAAI 2026
Efficient Decoding Methods for Language Models on Encrypted Data
- - Matan Avitan
  - Moran Baruch
  - et al.
- 2025
- IJCNLP-AACL 2025
ProcessChat: A Dataset for Business Process Grounded Dialogs
- - Neelamadhav Gantayat
  - Avirup Saha
  - et al.
- 2025
- CODS 2025