Demo type system with a simple security lattice.

Official code repo for the paper "LlaSMol: Advancing Large Language Models for Chemistry with a Large-Scale, Comprehensive, High-Quality Instruction Tuning Dataset"

Train transformer language models with reinforcement learning.

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Autonomous Materials Discovery with Large Language Models

Large language models to generate stable crystals.

Inference of pluggable types for Java

Cube-and-Conquer SAT solver

CodeBERT

Transform ONNX model to PyTorch representation

Pluggable type-checking for Java

Making text a first-class citizen in TensorFlow.

Generic Universe Type System

Public BanditFuzz Repo

gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.

Implementations & analysis on popular machine learning methods