57 citations · 101 across the 15 of their papers we have counts for
16 papers
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models
Zezhong Chen, Yuxin Deng, Wenjie Du
Assurance cases can be used to argue for the safety of products in safety engineering. In safety-critical areas, the construction of assurance cases is indispensable. Trustworthine…
Coherent control of orbital wavefunctions in the quantum spin liquid
R. Mankowsky, M. Müller, M. Sander +15
Resonant driving of electronic transitions with coherent laser sources creates quantum coherent superpositions of the involved electronic states. Most time-resolved studies have fo…
Arithmetic Dijkgraaf-Witten invariants for real quadratic fields, quadratic residue graphs, and density formulas
Yuqi Deng, Riku Kurimaru, Toshiki Matsusaka
We compute Hirano's formula for the mod 2 arithmetic Dijkgraaf-Witten invariant for the ring of integers of the quadratic field , where…
Mimic3D: Thriving 3D-Aware GANs via 3D-to-2D Imitation
Xingyu Chen, Yu Deng, Baoyuan Wang
Generating images with both photorealism and multiview 3D consistency is crucial for 3D-aware GANs, yet existing methods struggle to achieve them simultaneously. Improving the phot…
Derivation of the wave kinetic equation: full range of scaling laws
Yu Deng, Zaher Hani
This paper completes the program started in arXiv:2104.11204 and arXiv:2110.04565 aiming at providing a full rigorous justification of the wave kinetic theory for the nonlinear Sch…
Entity Set Co-Expansion in StackOverflow
Yu Zhang, Yunyi Zhang, Yucheng Jiang +5
Given a few seed entities of a certain type (e.g., Software or Programming Language), entity set expansion aims to discover an extensive set of entities that share the same type as…