alisa-yingjia-wan/formalalign_v1-mistral-mma-forml4
7B
•
Updated
•
10
Yingjia Wan
alisa-yingjia-wan
AI & ML interests
None yet
Recent Activity
updated
a model
about 2 months ago
alisa-yingjia-wan/formalalign_v1-mistral-mma-forml4
published
a model
about 2 months ago
alisa-yingjia-wan/formalalign_v1-mistral-mma-forml4
upvoted
a
paper
5 months ago
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive
Program Synthesis
Organizations
None yet