K3

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  submitted a paper about 5 hours ago

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Jforeverss  submitted a paper 4 months ago

Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models

aaryamonvikram  authored a paper 9 months ago

Llama-3.1-Sherkala-8B-Chat: An Open Large Language Model for Kazakh

View all activity

Team members 3