PPaperPicks

Clark W. Barrett

6 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4ICLR ×1NeurIPS ×1

Frequent coauthors

Haoze Wu
DBLP profile ↗ORCID search ↗
×2
Pei Huang
DBLP profile ↗ORCID search ↗
×2
Min Wu
DBLP profile ↗ORCID search ↗
×1
Lianmin Zheng
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Cubing for Tuning
    AAAI 2026 ·
    Haoze Wu
    DBLP profile ↗ORCID search ↗
  2. Efficiently Computing Compact Formal Explanations
    AAAI 2026 ·
    Min Wu
    DBLP profile ↗ORCID search ↗
  3. Parameterized Abstract Interpretation for Transformer Verification
    AAAI 2026 ·
    Pei Huang
    DBLP profile ↗ORCID search ↗
  4. Lemur: Integrating Large Language Models in Automated Program Verification
    ICLR 2024 ·
    Haoze Wu
    DBLP profile ↗ORCID search ↗
  5. SGLang: Efficient Execution of Structured Language Model Programs
    NeurIPS 2024 ·
    Lianmin Zheng
    DBLP profile ↗ORCID search ↗
  6. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    DBLP profile ↗ORCID search ↗