Language Model

Recent research into Predictive Large Models (PLM) aims to align the models with human values, avoiding harmful behaviors while maximising efficiency and applicability. Two significant methods used for alignment are supervised fine-tuning (SFT) and reinforcement learning from human feedback (RLHF). RLHF, notably, commoditizes the reward model to new prompt-response pairs. However, this approach often faces…

The field of large language models (LLMs), such as GPT, Claude, and Gemini, has seen rapid advancement, enabling the creation of autonomous agents capable of natural language interactions and executing diverse tasks. These AI agents are increasingly benefiting from the integration of external tools and knowledge sources, which expand their capacity to access and use…

Language modelling, an essential tool in developing effective natural language processing (NLP) and artificial intelligence (AI) applications, has significantly benefited from advancements in algorithms that understand, generate, and manipulate human language. These advancements have catalyzed large models that can undertake tasks such as translation, summarization, and question answering. However, they face notable challenges, including difficulties…

In recent years, the advancement of technology has allowed for the development of computer-verifiable formal languages, further advancing the field of mathematical reasoning. One of these languages, known as Lean, is an instrument employed to validate mathematical theorems, thereby ensuring accuracy and consistency in mathematical outcomes. Scholars are increasingly using Large Language Models (LLMs), specifically…