Publications

43 results at AAAI 2026

Parameterized Abstract Interpretation for Transformer Verification
- - Pei Huang
  - Dennis Wei
  - et al.
- 2026
- AAAI 2026
Bilevel MCTS for Amortized O(1) Node Selection in Classical Planning
- - Masataro Asai
- 2026
- AAAI 2026
GP-MOLFORMER-SIM: Test Time Molecular Optimization through Contextual Similarity Guidance
- - Jiri Navratil
  - Jerret Ross
  - et al.
- 2026
- AAAI 2026
SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search
- - Yifan Zhang
  - Giridhar Ganapavarapu
  - et al.
- 2026
- AAAI 2026
The Shepherd Test: How Will Super Intelligent Agents Balance Care and Control in Asymmetric Relationships?
- - Djallel Bouneffouf
  - Matthew Riemer
  - 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
Multi-Armed Bandits Meet Large Language Models
- - Djallel Bouneffouf
  - Raphael Feraud
- 2026
- AAAI 2026
Extreme Value Monte Carlo Tree Search for Classical Planning
- - Masataro Asai
  - Stephen Wissow
- 2026
- AAAI 2026
Small Models Exhibit Limited Answer Consistency in Repetition Trials of the Multiple-Choice MMLU-Redux and MedQA Benchmarks
- - Claudio Santos Pinhanez
  - Paulo Rodrigo Cavalin
  - et al.
- 2026
- AAAI 2026
Reducing the Scope of Language Models
- - David Yunis
  - siyu huo
  - et al.
- 2026
- AAAI 2026