OProver-32B
> A unified framework for agentic formal theorem proving in Lean 4. — 📄 Paper: OProver: A Unified...
Метка: retrieval-augmented
malm-165m
A 165M parameter Memory-Augmented Language Model (MALM) for semantic code search, trained on CodeParrot. MALM combines a transformer...
Tri-7B-Search-preview
LLM с поддержкой поиска, который сочетает в себе эффективное языковое моделирование с возможностями поиска в Интернете в режиме...