Jan Corazza

According to our database, Jan Corazza authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information.

Jan Corazza, Hadi Partovi Aria, Hyohun Kim, Daniel Neider, Zhe Xu

CoRR, June, 2025

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs.

Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024

Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment.

Jan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu

Proceedings of the Causal Learning and Reasoning, 2024

2022

Reinforcement Learning with Stochastic Reward Machines.

Jan Corazza, Ivan Gavran, Daniel Neider

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022