Follow
Albert X. Jiang
Albert X. Jiang
Assistant Professor of Computer Science, Trinity University
Verified email at trinity.edu - Homepage
Title
Cited by
Cited by
Year
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
263*2012
Protecting Moving Targets with Multiple Mobile Resources
F Fang, AX Jiang, M Tambe
Journal of Artificial Intelligence Research, 2013
1422013
Polynomial-time computation of exact correlated equilibrium in compact games
AX Jiang, K Leyton-Brown
Games and Economic Behavior 91, 347-359, 2015
128*2015
Action-graph games
AX Jiang, K Leyton-Brown, NAR Bhat
Games and Economic Behavior 71 (1), 141-173, 2011
1232011
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
1212022
Multi-agent team formation-diversity beats strength?
LS Marcolino, AX Jiang, M Tambe
Proceedings of the 23rd International Joint Conference on Artificial …, 2013
1112013
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
1092016
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
972015
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
972013
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
892014
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
772015
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
742017
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
672022
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
512021
Int: An inequality benchmark for evaluating generalization in theorem proving
Y Wu, AQ Jiang, J Ba, R Grosse
arXiv preprint arXiv:2007.02924, 2020
502020
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
502013
Diverse Randomized Agents Vote to Win
AXIN JIANG, LS MARCOLINO, AD PROCACCIA, T SANDHOLM, N SHAH, ...
NIPS, 2014
492014
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
462015
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
442012
The system can't perform the operation now. Try again later.
Articles 1–20