Li, Ziyang
- IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
2024/05/27 by Ziyang Li, Saikat Dutta, Li, Ziyang +3 · 5 voices · 31 citations
Computer Science · #Advanced Malware Detection Techniques #Network Security and Intrusion Detection #Software Reliability and Analysis Research #cs.CR #cs.PL #cs.SE
- Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
2023/11/16 by Avishree Khare, Saikat Dutta, Khare, Avishree +9 · 16 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
- Scallop: A Language for Neurosymbolic Programming
2023/04/10 by Ziyang Li, Jiani Huang, Li, Ziyang +3 · 12 citations
Materials Science · #Machine Learning in Materials Science
- Challenges and Paths Towards AI for Software Engineering
2025/03/28 by Alex Gu, Gu, Alex, Naman Jain +17 · 4 voices · 4 citations
#cs.SE #cs.AI #cs.LG
- The ALMA-QUARKS survey: -- I. Survey description and data reduction
2023/11/15 by Xunchuan Liu, Tie Liu, Liu, Xunchuan +64 · 7 citations
Physics and Astronomy · Chemistry · Earth and Planetary Sciences · #Astrophysics and Star Formation Studies #Molecular Spectroscopy and Structure #Atmospheric Ozone and Climate
- Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
2023/05/05 by Hanlin Zhang, Jiani Huang, Zhang, Hanlin +7 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry
2018/10/12 by Yonggen Ling, Linchao Bao, Ling, Yonggen +15 · 1 citation
Computer Science · Engineering · #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Optical measurement and interference techniques #Robotics (cs.RO) #Robotics and Sensor-Based Localization
- LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
2023/04/15 by Jiani Huang, Huang, Jiani, Ziyang Li +5 · 2 citations
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Human Pose and Action Recognition #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Multimodal Machine Learning Applications
- Data-Efficient Learning with Neural Programs
2024/06/10 by Alaia Solko-Breslin, Solko-Breslin, Alaia, Seewon Choi +11 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Neural Networks and Applications
- FinArena: A Human-Agent Collaboration Framework for Financial Market Analysis and Forecasting
2025/03/04 by Xu, Congluo, Liu, Zhaobin, Li, Ziyang · 2 citations
#Computational Engineering #FOS: Computer and information sciences #FOS: Economics and business #Finance #General Economics (econ.GN) #and Science (cs.CE)
- TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games
2025/05/21 by Yuan, Yuan, He, Muyu, Shahid, Muhammad Adil +3 · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Locus: Agentic Predicate Synthesis for Directed Fuzzing
2025/08/29 by Jie Zhu, Chihao Shen, Zhu, Jie +9 · 3 citations
Computer Science · #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques #Web Application Security Vulnerabilities
- A Lyapunov Framework for Quantum Algorithm Design in Combinatorial Optimization with Approximation Ratio Guarantees
2025/12/25 by Shengminjie Chen, Ziyang Li, Chen, Shengminjie +9 · 1 citation
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum many-body systems