Institute for Computer Science, Artificial intelligence and Technology

university

Verified

https://insait.ai/

INSAITinstitute

AI & ML interests

None defined yet.

Recent Activity

ivovpetrov01 updated a dataset about 4 hours ago

INSAIT-Institute/SaberMath-documents

ivovpetrov01 updated a dataset about 5 hours ago

INSAIT-Institute/SaberMath-queries

ivovpetrov01 updated a collection about 23 hours ago

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, передова мовна модель для української мови

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

updated a dataset about 4 hours ago

INSAIT-Institute/SaberMath-documents

Updated about 4 hours ago • 176

updated a dataset about 5 hours ago

INSAIT-Institute/SaberMath-queries

Updated about 5 hours ago • 171

updated a collection about 23 hours ago

SABER-Math

Automated Benchmark for Information Retrieval Evaluation in Mathematics • 3 items • Updated about 23 hours ago

authored a paper 9 days ago

Parameter Exploration for RLVR via Variational Learning

Paper • 2608.09805 • Published 12 days ago • 6

submitted a paper to Daily Papers 9 days ago

Parameter Exploration for RLVR via Variational Learning

Paper • 2608.09805 • Published 12 days ago • 6

updated a collection 10 days ago

Aletheia

Aletheia: What Makes RLVR For Code Verifiers Tick? Benchmark datasets and fine-tuned verifier models (1.5B/7B/14B). Mirror of Aletheia-Bench. • 31 items • Updated 10 days ago • 1