Lucina Claim this profile

Warp is a dependently typed language for synthetic data generation via enumeration or sampling of inhabitants of specified types weighted by an algorithmic complexity prior.

Evaluate context length generalization capability of transformer variants on a key-value retrieval task

Mitigating catastrophic forgetting during online learning via KL-regularized post-training on self-generated data

No description.

Improve LLM data efficiency with sparsity priors via focus mechanisms

Train a transformer variant with latent space reasoning via layer looping to solve sudoku puzzles

Generative image "AI" using the JPEG decompression algorithm

General program search via optimal enumeration of Brainfuck programs

Optimizes expected log returns of a prediction market portfolio

SAT solver powered by interaction combinators

Manifest thy will by granting an LLM agentic access to a bash session.