Ziyan An

Identifiers

• name variant Ziyan An 0.60 · backfill

Papers (5)

1. Formal Logic Enabled Personalized Federated Learning Through Property Inference cs.AI · 2024 · author #1
2. EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability cs.AI · 2023 · author #2
3. Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications cs.AI · 2023 · author #3
4. Fairguard: Harness Logic-based Fairness Rules in Smart Cities cs.AI · 2023 · author #2
5. V2X-Sim: Multi-Agent Collaborative Perception Dataset and Benchmark for Autonomous Driving cs.CV · 2022 · author #3

Mentions

• 2401.07448 #1 · arxiv_oai · confidence 0.70 Ziyan An
• 2306.06808 #3 · arxiv_oai · confidence 0.70 Ziyan An
• 2302.11137 #2 · arxiv_oai · confidence 0.70 Ziyan An
• 2308.07890 #2 · arxiv_oai · confidence 0.70 Ziyan An
• 2202.08449 #3 · arxiv_oai · confidence 0.70 Ziyan An

Frequent Coauthors

• Meiyi Ma 4 shared papers
• Yiqi Zhao 2 shared papers
• Ayan Mukhopadhyay 1 shared papers
• Chen Feng 1 shared papers
• Dekun Ma 1 shared papers
• Fei Miao 1 shared papers
• Jiangwei Wang 1 shared papers
• Rahul Mangharam 1 shared papers
• Shuo Yang 1 shared papers
• Siheng Chen 1 shared papers
• Songyang Han 1 shared papers
• Taylor Johnson 1 shared papers
• Taylor T. Johnson 1 shared papers
• Xuqing Gao 1 shared papers
• Yiming Li 1 shared papers
• Yiqi Zhong 1 shared papers
• Zhili Zhang 1 shared papers
• Zixun Wang 1 shared papers