llama + WebWork - a igormolybog Collection

igormolybog 's Collections

Domain spec fine-tuning

Inference speed

llama + WebWork

evals

Solver training

Hetero training

Open

Agents

Imagen

llama + WebWork

updated Dec 10, 2023

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Paper • 2311.03739 • Published Nov 7, 2023 • 5
A Survey on Language Models for Code

Paper • 2311.07989 • Published Nov 14, 2023 • 21