Daniel Melcer

According to our database, Daniel Melcer authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars.

Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian

CoRR, 2024

2022

Shield Decentralization for Safe Multi-Agent Reinforcement Learning.

Daniel Melcer, Christopher Amato, Stavros Tripakis

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Multi-Agent Tree Search with Dynamic Reward Shaping.

Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

ProofViz: An Interactive Visual Proof Explorer.

Daniel Melcer, Stephen Chang

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.

Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Verification-Guided Tree Search.

Alvaro Velasquez, Daniel Melcer

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020