Imandra
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
- 78 followers
- London, Austin, Edinburgh
- http://www.imandra.ai
- contact@imandra.ai
Pinned Loading
Repositories
Showing 10 of 112 repositories
- code-logic-bench Public
A benchmark for LLMs and related tools for reasoning and answering questions about software logic. Results for comparing performance of LLM-only vs LLM+CodeLogician(ImandraX) (CodeLogician) presented.
imandra-ai/code-logic-bench’s past year of commit activity - imandrax-tools Public
imandra-ai/imandrax-tools’s past year of commit activity
Top languages
Loading…
