Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis.

Huifeng Sun

Zhechong Huang Zhao Zhang Zeyu Sun 0004 Huifeng Sun Yingfei Xiong 0001 Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis. 2026 April abs/2604.05820 CoRR https://doi.org/10.48550/arXiv.2604.05820 db/journals/corr/corr2604.html#abs-2604-05820 streams/journals/corr

Yunhui Xia Wei Shen 0005 Yan Wang 0015 Jason Klein Liu Huifeng Sun Siyue Wu Jian Hu Xiaolong Xu 0001 LeetCodeDataset: A Temporal Dataset for Robust Evaluation and Efficient Training of Code LLMs. 2025 April abs/2504.14655 CoRR https://doi.org/10.48550/arXiv.2504.14655 db/journals/corr/corr2504.html#abs-2504-14655 streams/journals/corr

Xing Du Yongfu Sun Yupeng Song Huifeng Sun Lei Yang 0047 A Comparative Study of Different CNN Models and Transfer Learning Effect for Underwater Object Classification in Side-Scan Sonar Images. 593 2023 February 15 Remote. Sens. 3 https://doi.org/10.3390/rs15030593 db/journals/remotesensing/remotesensing15.html#DuSSSY23

Jinsong Qiu Zhimin Zhang 0001 Robert Wang 0001 Pei Wang 0012 Huachun Zhang Jiang Du Wei Wang 0091 Zhen Chen 0019 Yashi Zhou Hongying Jia Huifeng Sun A Novel Weight Generator in Real-Time Processing Architecture of DBF-SAR. 1-15 2022 60 IEEE Trans. Geosci. Remote. Sens. https://doi.org/10.1109/TGRS.2021.3067882 db/journals/tgrs/tgrs60.html#QiuZWWZDWCZJS22

Cheng Tan 0011 Zhongjun Yu Huifeng Sun Ge Shi Xiao Liu Ying Zhou Gaoang Li Integrated design of X-band phased array antenna with LTCC 3D T/R module. 20190714 2020 17 IEICE Electron. Express 4 https://doi.org/10.1587/elex.17.20190714 db/journals/ieiceee/ieiceee17.html#TanYSSLZL20

Huifeng Sun Xushan Chen Zhen Xia Mengyu Li A Node Backup Algorithm for Fault Cascade Degradation in Virtualization Power Communication Network. 339-343 2019 ICBDC https://doi.org/10.1145/3335484.3335530 conf/icbdc/2019 db/conf/icbdc/icbdc2019.html#SunCXL19 Shujian Huang Huifeng Sun Chengqi Zhao Jinsong Su Xin-Yu Dai Jiajun Chen 0001 Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine Translation. 2817-2823 2016 IJCAI http://www.ijcai.org/Abstract/16/400 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#HuangSZSDC16

Huifeng Sun Zibin Zheng Junliang Chen 0001 Michael R. Lyu Personalized Web Service Recommendation via Normal Recovery Collaborative Filtering. 573-579 2013 6 IEEE Trans. Serv. Comput. 4 https://doi.org/10.1109/TSC.2012.31 http://doi.ieeecomputersociety.org/10.1109/TSC.2012.31 db/journals/tsc/tsc6.html#SunZCL13

Huifeng Sun Junliang Chen 0001 Gang Yu Chuanchang Liu Yong Peng Guang Chen Bo Cheng 0001 JacUOD: A New Similarity Measurement for Collaborative Filtering. 1252-1260 2012 27 J. Comput. Sci. Technol. 6 https://doi.org/10.1007/s11390-012-1301-5 db/journals/jcst/jcst27.html#SunCYLPCC12

Huifeng Sun Yong Peng Junliang Chen 0001 Chuanchang Liu Yuzhuo Sun A New Similarity Measure Based on Adjusted Euclidean Distance for Memory-based Collaborative Filtering. 993-1000 2011 6 J. Softw. 6 https://doi.org/10.4304/jsw.6.6.993-1000 http://www.jsoftware.us/show-101-1597-1.html db/journals/jsw/jsw6.html#SunPCLS11

Huifeng Sun Junliang Chen 0001 Chuanchang Liu Zibin Zheng Nan Yu Zhi Yang Improving MapReduce Performance via Heterogeneity-Load-Aware Partition Function. 557-560 2011 CLUSTER https://doi.org/10.1109/CLUSTER.2011.68 https://doi.ieeecomputersociety.org/10.1109/CLUSTER.2011.68 conf/cluster/2011 db/conf/cluster/cluster2011.html#SunCLZYY11 Huifeng Sun Zibin Zheng Junliang Chen 0001 Michael R. Lyu NRCF: A Novel Collaborative Filtering Method for Service Recommendation. 702-703 2011 ICWS https://doi.org/10.1109/ICWS.2011.86 https://doi.ieeecomputersociety.org/10.1109/ICWS.2011.86 conf/icws/2011 db/conf/icws/icws2011.html#SunZCL11 Huifeng Sun Zibin Zheng Junliang Chen 0001 Weimin Pan Chuanchang Liu Wenming Ma Personalized Open API Recommendation in Clouds Via Item-based Collaborative Filtering. 237-244 2011 UCC https://doi.org/10.1109/UCC.2011.39 https://doi.ieeecomputersociety.org/10.1109/UCC.2011.39 conf/ucc/2011 db/conf/ucc/ucc2011.html#SunZCPLM11 Guang Chen Jiajun Chen 0001 Junliang Chen 0001 Xushan Chen Zhen Chen 0019 Bo Cheng 0001 Xinyu DaiXin-Yu Dai Jiang Du Xing Du Jian Hu Shujian Huang Zhechong Huang Hongying Jia Gaoang Li Mengyu Li Chuanchang Liu Jason Klein Liu Xiao Liu Michael R. Lyu Wenming Ma Weimin Pan Yong Peng Jinsong Qiu Wei Shen 0005 Ge Shi Yupeng Song Jinsong Su Yongfu Sun Yuzhuo Sun Zeyu Sun 0004 Cheng Tan 0011 Pei Wang 0012 Robert Wang 0001 Wei Wang 0091 Yan Wang 0015 Siyue Wu Yunhui Xia Zhen Xia Yingfei Xiong 0001 Xiaolong Xu 0001 Lei Yang 0047 Zhi Yang Gang Yu Nan Yu Zhongjun Yu Huachun Zhang Zhao Zhang Zhimin Zhang 0001 Chengqi Zhao Zibin Zheng Yashi Zhou Ying Zhou