Follow
Jiacheng Liu
Title
Cited by
Cited by
Year
Generated knowledge prompting for commonsense reasoning
J Liu, A Liu, X Lu, S Welleck, P West, RL Bras, Y Choi, H Hajishirzi
60th Annual Meeting of the Association for Computational Linguistics (ACL …, 2021
1862021
Crossweigh: Training named entity tagger from imperfect annotations
Z Wang, J Shang, L Liu, L Lu, J Liu, J Han
The 2019 Conference on Empirical Methods in Natural Language Processing and …, 2019
842019
Draft, sketch, and prove: Guiding formal theorem provers with informal proofs
AQ Jiang, S Welleck, JP Zhou, W Li, J Liu, M Jamnik, T Lacroix, Y Wu, ...
11th International Conference on Learning Representations (ICLR 2023), 2022
712022
Mathvista: Evaluating mathematical reasoning of foundation models in visual contexts
P Lu, H Bansal, T Xia, J Liu, C Li, H Hajishirzi, H Cheng, KW Chang, ...
arXiv preprint arXiv:2310.02255, 2023
422023
Naturalproofs: Mathematical theorem proving in natural language
S Welleck, J Liu, RL Bras, H Hajishirzi, Y Choi, K Cho
35th Conference on Neural Information Processing Systems (NeurIPS 2021 …, 2021
412021
Rainier: Reinforced knowledge introspector for commonsense question answering
J Liu, S Hallinan, X Lu, P He, S Welleck, H Hajishirzi, Y Choi
The 2022 Conference on Empirical Methods in Natural Language Processing …, 2022
402022
Inverse Scaling: When Bigger Isn't Better
IR McKenzie, A Lyzhov, M Pieler, A Parrish, A Mueller, A Prabhu, ...
arXiv preprint arXiv:2306.09479, 2023
352023
Naturalprover: Grounded mathematical proof generation with language models
S Welleck, J Liu, L Ximing, H Hajishirzi, Y Choi
36th Conference on Neural Information Processing Systems (NeurIPS 2022), 2022
312022
Vera: A general-purpose plausibility estimation model for commonsense statements
J Liu, W Wang, D Wang, NA Smith, Y Choi, H Hajishirzi
arXiv preprint arXiv:2305.03695, 2023
122023
Mathvista: Evaluating math reasoning in visual contexts with gpt-4v, bard, and other large multimodal models
P Lu, H Bansal, T Xia, J Liu, C Li, H Hajishirzi, H Cheng, KW Chang, ...
arXiv e-prints, arXiv: 2310.02255, 2023
112023
Phrase grounding by soft-label chain conditional random field
J Liu, J Hockenmaier
The 2019 Conference on Empirical Methods in Natural Language Processing and …, 2019
112019
Crystal: Introspective reasoners reinforced with self-feedback
J Liu, R Pasunuru, H Hajishirzi, Y Choi, A Celikyilmaz
arXiv preprint arXiv:2310.04921, 2023
62023
Towards grounded natural language proof generation
S Welleck, J Liu, JM Han, Y Choi
MathAI4Ed Workshop at NeurIPS 2021, 2021
62021
Don't throw away your value model! Making PPO even better via Value-Guided Monte-Carlo Tree Search decoding
J Liu, A Cohen, R Pasunuru, Y Choi, H Hajishirzi, A Celikyilmaz
arXiv preprint arXiv:2309.15028, 2023
52023
Infini-gram: Scaling Unbounded n-gram Language Models to a Trillion Tokens
J Liu, S Min, L Zettlemoyer, Y Choi, H Hajishirzi
arXiv preprint arXiv:2401.17377, 2024
2024
NaturalProver: Grounded Natural Language Proof Generation with Language Models
S Welleck, J Liu, X Lu, H Hajishirzi, Y Choi
7th Conference on Artificial Intelligence and Theorem Proving (AITP 2022), 2022
2022
NaturalProofs: Mathematics meets Natural Language
S Welleck, J Liu, R Le Bras, H Hajishirzi, Y Choi, K Cho
6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–17