30 citations · 97 across the 29 of their papers we have counts for
3 papers · 1 filter
A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments
Jialu Zhang, Jialiang Gu, Wangmeiyu Zhang +5
Online programming platforms such as Codeforces and LeetCode attract millions of users seeking to learn to program or refine their skills for industry interviews. A major challenge…
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
John Kolesar, Shan Ali, Timos Antonopoulos +1
Zero-knowledge (ZK) protocols enable software developers to provide proofs of their programs' correctness to other parties without revealing the programs themselves. Regular expres…
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
Xi Zheng, Ziyang Li, Ivan Ruchkin +2
Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neu…