Picture for Julian Alfredo Mendez

Julian Alfredo Mendez

Can Proof Assistants Verify Multi-Agent Systems?

Add code
Mar 10, 2025
Viaarxiv icon

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems

Add code
Oct 03, 2023
Viaarxiv icon

ACROCPoLis: A Descriptive Framework for Making Sense of Fairness

Add code
Apr 19, 2023
Figure 1 for ACROCPoLis: A Descriptive Framework for Making Sense of Fairness
Figure 2 for ACROCPoLis: A Descriptive Framework for Making Sense of Fairness
Figure 3 for ACROCPoLis: A Descriptive Framework for Making Sense of Fairness
Figure 4 for ACROCPoLis: A Descriptive Framework for Making Sense of Fairness
Viaarxiv icon