Education
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
I do believe that problems are the heart of mathematics.
Self-Labeling the Job Shop Scheduling Problem
An obstacle in applying supervised paradigms to such problems is the need for costly target solutions often produced with exact solvers.
The PRISM Alignment Dataset: What Participatory, Representative and Individualised Human Feedback Reveals About the Subjective and Multicultural Alignment of Large Language Models Hannah Rose Kirk 1
Human feedback is central to the alignment of Large Language Models (LLMs).
TAIA: Large Language Models are Out-of-Distribution Data Learners
However, in certain specialized domains, such as healthcare or harmless content generation, it is nearly impossible to obtain a large volume of high-quality data that matches the downstream distribution.
Towards Estimating Bounds on the Effect of Policies under Unobserved Confounding
As many practical fields transition to provide personalized decisions, data is increasingly relevant to support the evaluation of candidate plans and policies ( e.g.,
Stepwise Alignment for Constrained Language Model Policy Optimization Akifumi Wachi Thien Q. Tran Rei Sato Takumi Tanabe Y ouhei Akimoto L Y Corporation University of Tsukuba
Safety and trustworthiness are indispensable requirements for real-world applications of AI systems using large language models (LLMs).
Distributional Preference Alignment of LLMs via Optimal Transport Igor Melnyk
Ouyang et al., 2022, Bai et al., 2022], achieves this by learning a reward model on human preference
Cooperative Hardware-Prompt Learning for Snapshot Compressive Imaging
Taking an example of hyperspectral image reconstruction, the spectral SCI [Gehm et al., 2007] can fast capture and compress 3D hyperspectral signals as
Reinforcing LLM Agents via Policy Optimization with Action Decomposition
Beginning with the simplification of flattening all actions, we theoretically explore the discrepancies between action-level optimization and this naive token-level optimization.