LLMs

An agentic system that iteratively synthesizes and refines formal specifications, going beyond verifier acceptance to ensure genuine correctness and completeness.

Extracting full books from Llama models via prefix prompting, and showing that instruction-tuning can undo alignment’s memorization mitigations.

RAGMan is an LLM-powered tutoring system that can support a variety of course-specific and homework-specific AI tutors.

LLM shows “great promise” in code synthesis. Can LLM keep “the promise” to ensure that its synthesis code is formally correct?

Evaluating ChatGPT against prior automated approaches for commit message generation, finding it substantially outperforms methods trained specifically on commit data.