3 papers
cs.AI2026
Decoding ML Decision: An Agentic Reasoning Framework for Large-Scale Ranking System
Longfei Yun, Yihan Wu, Haoran Liu +11
Modern large-scale ranking systems operate within a sophisticated landscape of competing objectives, operational constraints, and evolving product requirements. Progress in this do…
cs.PL2026
From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
Ziyun Xu, Hao Wang, Meng Sun
Parallel execution has become a key approach to improving blockchain scalability, but the lack of formal semantics for smart contract languages in such settings makes rigorous reas…
cs.PL2025
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
Ziyun Xu, Hao Wang, Meng Sun
The increasing demand for scalable blockchain has driven research into parallel execution models for smart contracts. Crystality is a novel smart contract programming language desi…