Sergio Hernández Gutiérrez

bento.nvim. A minimalist and efficient, yet powerful and extensible buffer manager for Neovim.

teide.nvim. A Neovim theme. Forked from folke's TokyoNight.

nvim-config. My neovim config.

editr. Open remote projects in local editors through a Mutagen-backed mirror

editr.nvim. Neovim integration for editr remote editing sessions

dotfiles. Configuration of my working environment.

mloggers. A pip package of loggers well-suited for machine learning experiments.

serhez.github.io. My personal website.

llenvs. LLEnvs: common interface to train & evaluate LLMs & VLMs on agentic environments.

ldata. A collection of language-based datasets and benchmarks.

modal-theorem-prover. My final year project at UCL. A Modal Logic Theorem Prover.

lmodels. A collection of interfaces to interact with different language models.

lmethods. A collection of both novel and baseline methods to enhance the capabilities of language models.

cosil. Official implementation of Co-Adaptation with Self-Imitation Learning (CoSIL).

qval-site. HTML