Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Institute for Computer Science, Artificial intelligence and Technology

Team
university
Verified
https://insait.ai/
INSAITinstitute
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

ivovpetrov01  updated a collection 1 day ago
ProofRank: Evaluating LLM Proof Quality Beyond Correctness
ivovpetrov01  published a dataset 1 day ago
INSAIT-Institute/ProofRank-Examples
ivovpetrov01  published a dataset 1 day ago
INSAIT-Institute/ProofRank-outputs
View all activity

Papers

Aletheia: What Makes RLVR For Code Verifiers Tick?

AR-VLA: True Autoregressive Action Expert for Vision-Language-Action Models

View all Papers

Articles

MamayLM, передова мовна модель для української мови

Apr 23, 2025
• 44

Announcing MamayLM, an efficient state-of-the-art Ukrainian LLM

Apr 23, 2025
• 65

Anton Alexandrov's profile picture Dimitar Iliev Dimitrov's profile picture Emiliyan Pavlov's profile picture Nedko Savov's profile picture Dey's profile picture Kamen Pavlov's profile picture Borislav Petrov's profile picture Martin Vechev's profile picture Mengjiao Ma's profile picture Vatsal Venkatkrishna's profile picture Runyi Yang's profile picture Giuliano Albanese's profile picture Ivo Petrov's profile picture Kristian Minchev's profile picture Sam Motamed's profile picture Nikolay Nikolov's profile picture Anna-Maria Halacheva's profile picture Deheng Zhang's profile picture Mario Markov's profile picture Veselin Raychev's profile picture German Ortiz's profile picture Petko Petkov's profile picture Stefan Maria Ailuro's profile picture Elena Dimitrova's profile picture Yasen Kiprov's profile picture Letian Shi's profile picture

INSAIT-Institute 's Spaces 2

pinned
Running
27

MamayLM v1.0 Release Blog

🌻

MamayLM v1.0 - now multimodal and even stronger!

Sep 25, 2025
Running

README

🔥

Apr 22, 2025
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs