TRUSTS: Scheduling randomized patrols for fare inspection in transit systems Z Yin, AX Jiang, M Johnson, M Tambe, C Kiekintveld, K Leyton-Brown, ... Proc. of the 24th Conference on Innovative Applications of Artificial …, 2012 | 258* | 2012 |
Protecting Moving Targets with Multiple Mobile Resources F Fang, AX Jiang, M Tambe Journal of Artificial Intelligence Research, 2013 | 139 | 2013 |
Polynomial-time computation of exact correlated equilibrium in compact games AX Jiang, K Leyton-Brown Games and Economic Behavior 91, 347-359, 2015 | 127* | 2015 |
Action-graph games AX Jiang, K Leyton-Brown, NAR Bhat Games and Economic Behavior 71 (1), 141-173, 2011 | 122 | 2011 |
Autoformalization with large language models Y Wu, AQ Jiang, W Li, M Rabe, C Staats, M Jamnik, C Szegedy Advances in Neural Information Processing Systems 35, 32353-32368, 2022 | 108 | 2022 |
Multi-agent team formation-diversity beats strength? LS Marcolino, AX Jiang, M Tambe Proceedings of the 23rd International Joint Conference on Artificial …, 2013 | 108 | 2013 |
Using Social Networks to Aid Homeless Shelters: Dynamic Influence Maximization under Uncertainty. A Yadav, H Chan, AX Jiang, H Xu, E Rice, M Tambe AAMAS 16, 740-748, 2016 | 107 | 2016 |
Game-theoretic Randomization for Security Patrolling with Dynamic Execution Uncertainty AX Jiang, Z Yin, C Zhang, M Tambe, S Kraus International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2013 | 97 | 2013 |
Information disclosure as a means to security Z Rabinovich, AX Jiang, M Jain, H Xu Proceedings of the 2015 international conference on autonomous agents and …, 2015 | 96 | 2015 |
Game-theoretic Security Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System FM Delle Fave, AX Jiang, Z Yin, C Zhang, M Tambe, S Kraus, JP Sullivan Journal of Artificial Intelligence Research, 2014 | 85 | 2014 |
From physical security to cybersecurity A Sinha, TH Nguyen, D Kar, M Brown, M Tambe, AX Jiang Journal of Cybersecurity 1 (1), 19-35, 2015 | 75 | 2015 |
Trends and applications in Stackelberg security games D Kar, TH Nguyen, F Fang, M Brown, A Sinha, M Tambe, AX Jiang Handbook of dynamic game theory, 1-47, 2017 | 69 | 2017 |
Thor: Wielding hammers to integrate language models and automated theorem provers AQ Jiang, W Li, S Tworkowski, K Czechowski, T Odrzygóźdź, P Miłoś, ... Advances in Neural Information Processing Systems 35, 8360-8373, 2022 | 58 | 2022 |
Scaling-up Security Games with Boundedly Rational Adversaries: A Cutting-plane Approach R Yang, AX Jiang, M Tambe, F Ordonez International Joint Conference on Artificial Intelligence (IJCAI), 2013 | 50 | 2013 |
Int: An inequality benchmark for evaluating generalization in theorem proving Y Wu, AQ Jiang, J Ba, R Grosse arXiv preprint arXiv:2007.02924, 2020 | 49 | 2020 |
Diverse Randomized Agents Vote to Win AXIN JIANG, LS MARCOLINO, AD PROCACCIA, T SANDHOLM, N SHAH, ... NIPS, 2014 | 49 | 2014 |
Bidding agents for online auctions with hidden bids AX Jiang, K Leyton-Brown Machine learning 67 (1), 117-143, 2007 | 49* | 2007 |
Combining compact representation and incremental generation in large games with sequential strategies B Bosansky, AX Jiang, M Tambe, C Kiekintveld Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 46 | 2015 |
Agentpolis: towards a platform for fully agent-based modeling of multi-modal transportation M Jakob, Z Moler, A Komenda, Z Yin, AX Jiang, MP Johnson, ... AAMAS 2012, 1501-1502, 2012 | 44 | 2012 |
LISA: Language models of ISAbelle proofs AQ Jiang, W Li, JM Han, Y Wu 6th Conference on Artificial Intelligence and Theorem Proving, 378-392, 2021 | 43 | 2021 |