Levi

Aelien

·

AI & ML interests

None yet

Recent Activity

published a model 3 days ago

CoF-Reasoning/cof-formal-6k-checkpoints

published a dataset 3 days ago

Aelien/cof-formal-collab-data

updated a model 3 days ago

CoF-Reasoning/cof-formal-6k-checkpoints

View all activity

Organizations

spaces 2

BigCodeBench Evaluator

Evaluate code samples with various settings

BRC

Create a static web page by editing HTML

models 1

Aelien/Llama-3.2-1B-Instruct-lora

Updated Nov 28, 2024

datasets 1

Aelien/cof-formal-collab-data

Updated 3 days ago • 7