NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Yinya Huang
Number of Papers:- 6
Number of Citations:- 0
First ACL Paper:- 2021
Latest ACL Paper:- 2024
Venues:-
s
EMNLP
i
d
NAACL
-
A
L
P
ACL
E
C
M
N
F
n
g
Co-Authors:-
Changshui Zhang
Chuanyang Zheng
Dong Yu
Haiming Wang
Hongming Zhang
Similar Authors:-
2024
2023
2022
2021
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
F
i
n
d
i
n
g
s
-
N
A
A
C
L
Xiaohan Lin |
Qingxing Cao |
Yinya Huang |
Zhicheng Yang |
Zhengying Liu |
Zhenguo Li |
Xiaodan Liang |
CLOMO: Counterfactual Logical Modification with Large Language Models
ACL
Yinya Huang |
Ruixin Hong |
Hongming Zhang |
Wei Shao |
Zhicheng Yang |
Dong Yu |
Changshui Zhang |
Xiaodan Liang |
Linqi Song |
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
F
i
n
d
i
n
g
s
-
E
M
N
L
P
Zhicheng Yang |
Yinya Huang |
Jing Xiong |
Liang Feng |
Xiaodan Liang |
Yiwei Wang |
Jing Tang |
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP
Jing Xiong |
Jianhao Shen |
Ye Yuan |
Haiming Wang |
Yichun Yin |
Zhengying Liu |
Lin Li |
Zhijiang Guo |
Qingxing Cao |
Yinya Huang |
Chuanyang Zheng |
Xiaodan Liang |
Ming Zhang |
Qun Liu |
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure
EMNLP
Yinya Huang |
Hongming Zhang |
Ruixin Hong |
Xiaodan Liang |
Changshui Zhang |
Dong Yu |
DAGN: Discourse-Aware Graph Network for Logical Reasoning
NAACL
Yinya Huang |
Meng Fang |
Yu Cao |
Liwei Wang |
Xiaodan Liang |
.