Zhixuan Yang

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 13

Top Topics

Logical Representation

Activity Recognition

Word Similarity

Top Venues

Proc. ACM Program. Lang.

Eng. Appl. Artif. Intell.

Publications

Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu
Algebraic Effects Meet Hoare Logic in Cubical Agda. Proc. ACM Program. Lang. 8 (POPL) (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. CoRR (2024)
Zongchao Huang, Kewen Li, Zhifeng Xu, Ruonan Yin, Zhixuan Yang, Wang Mei, Shaoqiang Bing
STP-Model: A semi-supervised framework with self-supervised learning capabilities for downhole fault diagnosis in sucker rod pumping systems. Eng. Appl. Artif. Intell. 135 (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) (2024)
Zhixuan Yang, Kewen Li, Zongchao Huang
MFCANN: A feature diversification framework based on local and global attention for human activity recognition. Eng. Appl. Artif. Intell. 133 (2024)
Zhixuan Yang, Nicolas Wu
Modular Models of Monoids with Operations. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Zhixuan Yang, Nicolas Wu
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. MPC (2022)
Zhixuan Yang, Nicolas Wu
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. CoRR (2022)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects. ESOP (2022)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects: Extended Version. CoRR (2022)
Zhixuan Yang, Nicolas Wu
Reasoning about effect interaction by fusion. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu
Retentive Lenses. CoRR (2020)
Zhixuan Yang, Chong Ruan, Caihua Li, Junfeng Hu
Optimize Hierarchical Softmax with Word Similarity Knowledge. POLIBITS 55 (2017)
Wenlong Mou, Ni Sun, Junhao Zhang, Zhixuan Yang, Junfeng Hu
Politicize and Depoliticize: A Study of Semantic Shifts on People's Daily Fifty Years' Corpus via Distributed Word Representation Space. CLSW (2015)