1

Horae: A Domain-Agnostic Language for Automated Service Regulation
Artificial intelligence is rapidly encroaching on the field of service regulation. However, existing AI-based regulation techniques are …
Cite Code Dataset
Horae: A Domain-Agnostic Language for Automated Service Regulation
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
Self-improving large language models (LLMs) – i.e., to improve the performance of an LLM by fine-tuning it with synthetic data …
PDF Cite
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
On the Almost-Sure Termination of Probabilistic Counter Programs
This paper introduces $k$-d PCPs – the class of probabilistic counter programs with $k \in \mathbb{N}$ counter variables inducing …
Cite Artifact Evaluated
On the Almost-Sure Termination of Probabilistic Counter Programs
UniGM: Unifying Multiple Pre-trained Graph Models via Adaptive Knowledge Aggregation
Recent years have witnessed remarkable advances in graph representation learning using Graph Neural Networks (GNNs). To fully exploit …
PDF Cite Code DOI
UniGM: Unifying Multiple Pre-trained Graph Models via Adaptive Knowledge Aggregation
Parf: Adaptive Parameter Refining for Abstract Interpretation
Abstract interpretation is a key formal method for the static analysis of programs. The core challenge in applying abstract …
PDF Cite Code Slides Video DOI 2nd Prize@ChinaSoft'24
Parf: Adaptive Parameter Refining for Abstract Interpretation
Proving Functional Program Equivalence via Directed Lemma Synthesis
Proving equivalence between functional programs is a fundamental problem in program verification, which often amounts to reasoning …
PDF Cite DOI Artifact Evaluated
Proving Functional Program Equivalence via Directed Lemma Synthesis
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation
Artificial intelligence is rapidly encroaching on the field of service regulation. This work-in-progress article presents the design …
PDF Cite DOI
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
Unlike classical computing, quantum program verification (QPV) is much more challenging due to the non-duplicability of quantum states …
PDF Cite Code DOI Artifact Evaluated
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method
Quantum readout noise turns out to be the most significant source of error, which greatly affects the measurement fidelity. …
PDF Cite Code DOI
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method
PS3: Precise Patch Presence Test Based on Semantic Symbolic Signature
During software development, vulnerabilities have posed a significant threat to users. Applying patches is the most effective way to …
Cite
PS3: Precise Patch Presence Test Based on Semantic Symbolic Signature