Summary of Herald: a Natural Language Annotated Lean 4 Dataset, by Guoxiong Gao et al.
Herald: A Natural Language Annotated Lean 4 Datasetby Guoxiong Gao, Yutong Wang, Jiedong Jiang, Qi…
Herald: A Natural Language Annotated Lean 4 Datasetby Guoxiong Gao, Yutong Wang, Jiedong Jiang, Qi…
Towards Multilingual LLM Evaluation for European Languagesby Klaudia Thellmann, Bernhard Stadler, Michael Fromm, Jasper Schulze…
Causal machine learning for predicting treatment outcomesby Stefan Feuerriegel, Dennis Frauen, Valentyn Melnychuk, Jonas Schweisthal,…
Collective variables of neural networks: empirical time evolution and scaling lawsby Samuel Tovey, Sven Krippendorf,…
Mitigating the Language Mismatch and Repetition Issues in LLM-based Machine Translation via Model Editingby Weichuan…
ParallelSpec: Parallel Drafter for Efficient Speculative Decodingby Zilin Xiao, Hongming Zhang, Tao Ge, Siru Ouyang,…
Local Attention Mechanism: Boosting the Transformer Architecture for Long-Sequence Time Series Forecastingby Ignacio Aguilera-Martos, Andrés…
Reward-RAG: Enhancing RAG with Reward Driven Supervisionby Thang Nguyen, Peter Chin, Yu-Wing TaiFirst submitted to…
Improving Neural Optimal Transport via Displacement Interpolationby Jaemoo Choi, Yongxin Chen, Jaewoong ChoiFirst submitted to…
Learning Semantic Structure through First-Order-Logic Translationby Akshay Chaturvedi, Nicholas AsherFirst submitted to arxiv on: 4…