Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Zili Wang
Observed names:
Wang, Zili,
Z. Wang,
ZILI WANG
Institution:
Sun Yat-sen University
Observed institutions:
Dartmouth College,
Texas State University,
Sun Yat-sen University,
Iowa State University,
Brown University,
University of California, Berkeley
show all 6
ORCID:
0000-0003-1730-6180
Observed ORCID:
0000-0003-1730-6180
OpenAlex ID:
A5100693885
OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
2025
·
Siming Huang
, Tianhao Cheng
, et al.
·
Annual Meeting of the Association for Computational Linguistics (ACL)
·
15
PDF
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions
2023
·
Jenna Elwing
, Laura Gamboa-Guzman
, et al.
·
Lecture notes in computer science
·
11
Fast Deterministic Black-box Context-free Grammar Inference
2024
·
Mohammad Rifat Arefin
, Suraj Shetiya
, et al.
·
IEEE/ACM International Conference on Software Engineering (ICSE)
·
9
PDF
On the characterization of some non-abelian simple groups with few codegrees
2022
·
Michael Gintz
, Matthew Kortje
, et al.
·
Communications in Algebra
·
9
OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
2024
·
Huang, Siming
, Cheng, Tianhao
, et al.
·
arXiv (Cornell University)
·
5
PDF
Farthest point map on a centrally symmetric convex polyhedron
2019
·
Zili Wang
·
Geometriae Dedicata
·
5
PDF
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
2025
·
Zili Wang
, Katherine Kosaian
, et al.
·
Lecture notes in computer science
·
4
PDF
WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL)
2025
·
Zili Wang
, Laura P. Gamboa Guzman
, et al.
·
Science of Computer Programming
·
3
Formalizing MLTL Formula Progression in Isabelle/HOL
2025
·
Katherine Kosaian
, Zili Wang
, et al.
·
Lecture notes in computer science
·
2
PDF
Language Partitioning for Mission-Time Linear Temporal Logic
2025
·
A. E. Rosentrater
, Z. Wang
, et al.
·
Lecture notes in computer science
·
2
Responsible AI for Air Traffic Management: Application to Runway Configuration Assistance Tool
2025
·
Milad Memarzadeh
, Zili Wang
, et al.
·
Aerospace
·
1
PDF
Permutation groups with few orbits on the power set. II
2023
·
Michael Gintz
, Matthew Kortje
, et al.
·
Publicationes Mathematicae Debrecen
·
1
Strong convexity in flip-graphs
2021
·
Pournin, Lionel
, Wang, Zili
·
arXiv (Cornell University)
·
1
PDF
Shapes of centrally symmetric octahedra with prescribed cone-deficits
2021
·
Zili Wang
·
Advances in Geometry
·
1
PDF
An Integrated Ecosystem for Mission-Time LTL Specification Elicitation and Validation
2026
·
Zili Wang
, Alec E. Rosentrater
, et al.
·
Lecture notes in computer science
Joint Optimization of Admission Control and Resource Allocation for Cellular D2D Networks Based on UE-Specific RIS
2026
·
Xufeng Ma
, Hongcheng Zhuang
, et al.
·
IEEE Transactions on Vehicular Technology
Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains
2025
·
Wang, Zili
, Montabon, Frank
, et al.
·
arXiv (Cornell University)
PDF
Formally verified temporal logic validation
2025
·
Zili Wang
Flip distance and triangulations of a polyhedron
2024
·
Zili Wang
·
Journal of Graph Theory
Basic syntax from speech: Spontaneous concatenation in unsupervised deep neural networks
2023
·
Begus, Gasper
, Lu, Thomas
, et al.
·
Open Science Framework
Flip Distance and Triangulations of a Ball
2022
·
Wang, Zili
·
arXiv (Cornell University)
PDF
The Number of Set Orbits of Permutation Groups and the Group Order
2022
·
MICHAEL GINTZ
, THOMAS M. KELLER
, et al.
·
Bulletin of the Australian Mathematical Society
PDF
Show more works
View as search
Works count:
25
Citation count:
71
H-index:
5
I10-index:
2
Year
Topic
Type
