Tweag
News
Capabilities
Dropdown arrow
Functional Engineering
Scalable Builds
Open source
Dropdown arrow
Technical groups
Contributions and projects
Haskell Foundation partnership
Careers
Research
Blog
Contact
Modus Create
News
Capabilities
Dropdown arrow
Functional Engineering
Scalable Builds
Open source
Dropdown arrow
Technical groups
Contributions and projects
Haskell Foundation partnership
Careers
Research
Blog
Contact
Modus Create
llm
...

Blog posts

Are we formal proofs yet? On formal proofs of programs with coding agentsSeptember 10, 2026
Evaluating the evaluators: know your RAG metricsFebruary 27, 2025
LLM-based work summaries with work-dAIgestMay 21, 2024
Evaluating retrieval in RAGs: a practical frameworkMarch 21, 2024
Evaluating Retrieval in RAGs: A Gentle IntroductionFebruary 06, 2024

Company

AboutOpen SourceCareersContact Us

What we do

Functional EngineeringScalable builds

Insights

BlogModus BlogResearch

Connect with us

GitHubYouTubeXLinkedInBlueskyMastodon

© 2025 Modus Create, LLC

Privacy PolicySitemap