Lapis Labs

AI & ML interests

None defined yet.

Recent Activity

tarsur909  submitted a paper about 1 month ago

BEAVER: An Efficient Deterministic LLM Verifier

justinphan3110  authored a paper 3 months ago

A Definition of AGI

justinphan3110  authored a paper 5 months ago

Humanity's Last Exam

View all activity

Team members 13