Claudia Ong

According to our database, Claudia Ong authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Mathesis: Towards Formal Theorem Proving from Natural Languages.

Yu Xuejun, Jianyuan Zhong, Zijin Feng, Pengyi Zhai, Roozbeh Yousefzadeh, Wei Chong Ng, Haoxiong Liu, Ziyi Shou, Jing Xiong, Yudong Zhou, Claudia Ong, Austen Jeremy Sugiarto, Yaoxi Zhang, Wai Ming Tai, Huan Cao, Dongcai Lu, Jiacheng Sun, Qiang Xu, Shen Xin, Zhenguo Li

CoRR, June, 2025

2024

MetaPro 2.0: Computational Metaphor Processing on the Effectiveness of Anomalous Language Modeling.

Rui Mao, Kai He, Claudia Ong, Qian Liu, Erik Cambria

Proceedings of the Findings of the Association for Computational Linguistics, 2024