Summary of Lean-star: Learning to Interleave Thinking and Proving, by Haohan Lin et al.
Lean-STaR: Learning to Interleave Thinking and Provingby Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming YangFirst…
Lean-STaR: Learning to Interleave Thinking and Provingby Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming YangFirst…
AutoGRAMS: Autonomous Graphical Agent Modeling Softwareby Ben Krause, Lucia Chen, Emmanuel KahembweFirst submitted to arxiv…
Learning to Refuse: Towards Mitigating Privacy Risks in LLMsby Zhenhua Liu, Tong Zhu, Chuanyuan Tan,…
Rapid Biomedical Research Classification: The Pandemic PACT Advanced Categorisation Engineby Omid Rohanian, Mohammadmahdi Nouriborji, Olena…
Hierarchical Multi-modal Transformer for Cross-modal Long Document Classificationby Tengfei Liu, Yongli Hu, Junbin Gao, Yanfeng…
Look Within, Why LLMs Hallucinate: A Causal Perspectiveby He Li, Haoang Chi, Mingyu Liu, Wenjing…
ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoningby Zhongsheng Wang, Jiamou Liu,…
Key-Point-Driven Mathematical Reasoning Distillation of Large Language Modelby Xunyu Zhu, Jian Li, Can Ma, Weiping…
Shape2Scene: 3D Scene Representation Learning Through Pre-training on Shape Databy Tuo Feng, Wenguan Wang, Ruijie…
Visual Prompt Selection for In-Context Learning Segmentationby Wei Suo, Lanqing Lai, Mengyang Sun, Hanwang Zhang,…