AI-MO/Kimina-Autoformalizer-7B
Text Generation
•
8B
•
Updated
•
1.05k
•
•
16
KT
undercurrent23
·
AI & ML interests
None yet
Recent Activity
authored
a paper
5 days ago
WisPaper: Your AI Scholar Search Engine
authored
a paper
5 days ago
OpenNovelty: An LLM-powered Agentic System for Verifiable Scholarly Novelty Assessment
liked
a model
2 months ago
AI-MO/Kimina-Autoformalizer-7B
Organizations
liked
a
model
2 months ago