Daniel Melcer

11 papers A* 3A 3Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
Safe Multi-Agent Learning via Shielding in Decentralized Environments.
AAMAS
Daniel Melcer
2025 J jnl
Textual Gradients are a Flawed Metaphor for Automatic Prompt Optimization.
CoRR
Daniel Melcer, Qi Chen, Wen-Hao Chiang, Shweta Garg, Pranav Garg, Christian Bock
2024 J jnl
Approximately Aligned Decoding.
CoRR
Daniel Melcer, Sujan K. Gonugondla, Pramuditha Perera, Haifeng Qian, Wen-Hao Chiang, Yanjun Wang, Nihal Jain, Pranav Garg, Xiaofei Ma, Anoop Deoras
2024 J jnl
Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars.
CoRR
Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian
2024 A conf
Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments.
AAMAS
Daniel Melcer, Christopher Amato, Stavros Tripakis
2024 J jnl
Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments.
RLJ
Daniel Melcer, Christopher Amato, Stavros Tripakis
2022 A* conf
Multi-Agent Tree Search with Dynamic Reward Shaping.
ICAPS
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia
2022 A* conf
Shield Decentralization for Safe Multi-Agent Reinforcement Learning.
NeurIPS
Daniel Melcer, Christopher Amato, Stavros Tripakis
2021 A* conf
Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.
AAAI
Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia
2021 — conf
ProofViz: An Interactive Visual Proof Explorer.
TFP
Daniel Melcer, Stephen Chang
2020 A conf
Verification-Guided Tree Search.
AAMAS
Alvaro Velasquez, Daniel Melcer