Marsyas (Music Analysis, Retrieval and Synthesis for Audio Signals)

AI & ML interests

None defined yet.

Recent Activity

lewtun  authored a paper about 1 month ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

lewtun  authored a paper 3 months ago

SmolVLM: Redefining small and efficient multimodal models

lewtun  authored a paper 4 months ago

Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning

View all activity

Team members 1