Sean J Welleck
New York University
H-index: 23
North America-United States
Top articles of Sean J Welleck
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Llemma: an open language model for mathematics | International Conference on Learning Representations (ICLR) | Zhangir Azerbayev Hailey Schoelkopf Keiran Paster Marco Dos Santos Stephen McAleer | 2023/10/16 |
Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision | arXiv preprint arXiv:2403.09472 | Zhiqing Sun Longhui Yu Yikang Shen Weiyang Liu Yiming Yang | 2024/3/14 |
Electronic device for obtaining sentence corresponding to context information and operating method thereof | 2023/6/6 | ||
Faith and Fate: Limits of Transformers on Compositionality | Advances in Neural Information Processing Systems | Nouha Dziri Ximing Lu Melanie Sclar Xiang Lorraine Li Liwei Jiang | 2024/2/13 |
Self-refine: Iterative refinement with self-feedback | Neural Information Processing Systems (NeurIPS) 2023 | Aman Madaan Niket Tandon Prakhar Gupta Skyler Hallinan Luyu Gao | 2023/3/30 |
Inference-time policy adapters (ipa): Tailoring extreme-scale lms without fine-tuning | Ximing Lu Faeze Brahman Peter West Jaehun Jung Khyathi Chandu | 2023/12 | |
Mauve scores for generative models: Theory and practice | Journal of Machine Learning Research | Krishna Pillutla Lang Liu John Thickstun Sean Welleck Swabha Swayamdipta | 2023 |
STEER: Unified Style Transfer with Expert Reinforcement | arXiv preprint arXiv:2311.07167 | Skyler Hallinan Faeze Brahman Ximing Lu Jaehun Jung Sean Welleck | 2023/11/13 |
llmstep: LLM proofstep suggestions in lean | Sean Welleck Rahul Saha | 2023/10/28 | |
Quark: Controllable text generation with reinforced unlearning | Advances in neural information processing systems | Ximing Lu Sean Welleck Jack Hessel Liwei Jiang Lianhui Qin | 2022/12/6 |
Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP) | Deborah Ferreira Marco Valentino André Freitas Sean Welleck Moritz Schubotz | 2022/12 | |
Naturalprover: Grounded mathematical proof generation with language models | Sean Welleck Jiacheng Liu Ximing Lu Hannaneh Hajishirzi Yejin Choi | 2022/5/25 | |
Generating Sequences by Learning to Self-Correct | arXiv preprint arXiv:2211.00053 | Sean Welleck Ximing Lu Peter West Faeze Brahman Tianxiao Shen | 2022/10/31 |
Maieutic prompting: Logically consistent reasoning with recursive explanations | arXiv preprint arXiv:2205.11822 | Jaehun Jung Lianhui Qin Sean Welleck Faeze Brahman Chandra Bhagavatula | 2022/5/24 |
Lila: A unified benchmark for mathematical reasoning | EMNLP | Swaroop Mishra Matthew Finlayson Pan Lu Leonard Tang Sean Welleck | 2022/10/31 |
Cold decoding: Energy-based constrained text generation with langevin dynamics | Advances in Neural Information Processing Systems | Lianhui Qin Sean Welleck Daniel Khashabi Yejin Choi | 2022/12/6 |
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs | arXiv preprint arXiv:2210.12283 | Albert Q Jiang Sean Welleck Jin Peng Zhou Wenda Li Jiacheng Liu | 2022/10/21 |
Rainier: Reinforced knowledge introspector for commonsense question answering | Jiacheng Liu Skyler Hallinan Ximing Lu Pengfei He Sean Welleck | 2022/10/6 | |
A Survey of Deep Learning for Mathematical Reasoning | Pan Lu Liang Qiu Wenhao Yu Sean Welleck Kai-Wei Chang | 2023/7 | |
Symbolic knowledge distillation: from general language models to commonsense models | arXiv preprint arXiv:2110.07178 | Peter West Chandra Bhagavatula Jack Hessel Jena D Hwang Liwei Jiang | 2021/10/14 |